changes: now it generates simple lattice without having intermediate nodes for the...
authoryeom <yeom>
Tue, 9 Oct 2012 00:01:24 +0000 (00:01 +0000)
committeryeom <yeom>
Tue, 9 Oct 2012 00:01:24 +0000 (00:01 +0000)
commitda0fa968b5637a83e1e8878fc1ab3df8e413344a
treec6d2decaf35c0dd152af00fdbc72e6243f84ecc0
parent76263fb08dca40e3c50ec9403ff4ddd02c35bfe1
changes: now it generates simple lattice without having intermediate nodes for the mp3decoder benchmark.
Robust/src/Analysis/SSJava/BuildLattice.java
Robust/src/Analysis/SSJava/GlobalFlowGraph.java
Robust/src/Analysis/SSJava/GlobalFlowNode.java
Robust/src/Analysis/SSJava/LocationInference.java
Robust/src/Analysis/SSJava/SSJavaLattice.java