commit hacks to effect analysis...interfaces to allow disjoint/pointer analysis to...
authorbdemsky <bdemsky>
Fri, 18 Mar 2011 08:32:33 +0000 (08:32 +0000)
committerbdemsky <bdemsky>
Fri, 18 Mar 2011 08:32:33 +0000 (08:32 +0000)
commit3476ae84a1e274a26a0247c99271fc068494da59
tree638ad868e92fbfb1890acaa3f8415aa289d817e9
parenta241479f3823d36df9f3bd709cffd7f2951c9730
commit hacks to effect analysis...interfaces to allow disjoint/pointer analysis to be exchanged
Robust/src/Analysis/Disjoint/Canonical.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/EffectsAnalysis.java
Robust/src/Analysis/Disjoint/HeapAnalysis.java [new file with mode: 0644]
Robust/src/Analysis/Disjoint/Taint.java
Robust/src/Analysis/OoOJava/ConflictGraph.java
Robust/src/Analysis/OoOJava/ConflictNode.java
Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
Robust/src/Analysis/Pointer/AllocFactory.java
Robust/src/Analysis/Pointer/Pointer.java
Robust/src/IR/Flat/RuntimeConflictResolver.java