more changes on shared location analysis. now it works fine with interprocedural...
authoryeom <yeom>
Mon, 11 Jul 2011 19:19:31 +0000 (19:19 +0000)
committeryeom <yeom>
Mon, 11 Jul 2011 19:19:31 +0000 (19:19 +0000)
commit4f0ae65ae50c85ad88d00bf7e14c31a458ea7c56
treee9b199a4cd6f0e85eadc9ff0d99e437a5628ec43
parent0f32f51da578005952e2d235fed2b5a1c4c7a95e
more changes on shared location analysis. now it works fine with interprocedural analysis
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java