changes toward intraprocedural analysis
authoryeom <yeom>
Fri, 8 Jul 2011 18:51:11 +0000 (18:51 +0000)
committeryeom <yeom>
Fri, 8 Jul 2011 18:51:11 +0000 (18:51 +0000)
commit484e9bd327c7fe5d5cf96bbead147c80aaef6380
treecccfb7d006bfff9e919c21b9c8aea8bd2a029838
parentccff44583f01c30518d35629b197e3209d701e98
changes toward intraprocedural analysis
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
Robust/src/Analysis/SSJava/FlowDownCheck.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/Analysis/SSJava/SharedLocState.java [new file with mode: 0644]