changes.
[IRC.git] / Robust / src / Analysis / Disjoint /
drwxr-xr-x   ..
-rw-r--r-- 240 Alloc.java
-rw-r--r-- 7823 AllocSite.java
-rw-r--r-- 3693 BuildStateMachines.java
-rw-r--r-- 49881 Canonical.java
-rw-r--r-- 3888 CanonicalOp.java
-rw-r--r-- 2029 ChangeSet.java
-rw-r--r-- 2352 ChangeTuple.java
-rw-r--r-- 1716 DefReachFuVal.java
-rw-r--r-- 4686 DefiniteReachAnalysis.java
-rw-r--r-- 20615 DefiniteReachState.java
-rw-r--r-- 398 DescriptorComparator.java
-rw-r--r-- 956 DescriptorQWrapper.java
-rw-r--r-- 113609 DisjointAnalysis.java
-rw-r--r-- 960 EdgeKey.java
-rw-r--r-- 4245 Effect.java
-rw-r--r-- 11107 EffectsAnalysis.java
-rw-r--r-- 16349 ExistPred.java
-rw-r--r-- 4253 ExistPredSet.java
-rw-r--r-- 1753 GraphElementCount.java
-rw-r--r-- 3218 HeapAnalysis.java
-rw-r--r-- 7467 HeapRegionNode.java
-rw-r--r-- 1054 HrnIdOoc.java
-rw-r--r-- 3282 PointerMethod.java
-rw-r--r-- 12753 ProcessStateMachines.java
-rw-r--r-- 187119 ReachGraph.java
-rw-r--r-- 6095 ReachSet.java
-rw-r--r-- 4024 ReachState.java
-rw-r--r-- 3540 ReachTuple.java
-rw-r--r-- 6745 RefEdge.java
-rw-r--r-- 1323 RefSrcNode.java
-rw-r--r-- 4778 SMFEState.java
-rw-r--r-- 1061 StallSite.java
-rw-r--r-- 4401 StateMachineForEffects.java
-rw-r--r-- 6230 Taint.java
-rw-r--r-- 4184 TaintSet.java
drwxr-xr-x - UnitTests
-rw-r--r-- 740 VariableNode.java