drwxr-xr-x | .. | ||
-rw-r--r-- | 5795 | AllocSite.java | blob | history | raw |
-rw-r--r-- | 22468 | Canonical.java | blob | history | raw |
-rw-r--r-- | 2765 | CanonicalOp.java | blob | history | raw |
-rw-r--r-- | 389 | CanonicalWrapper.java | blob | history | raw |
-rw-r--r-- | 2037 | ChangeSet.java | blob | history | raw |
-rw-r--r-- | 1892 | ChangeTuple.java | blob | history | raw |
-rw-r--r-- | 971 | DescriptorQWrapper.java | blob | history | raw |
-rw-r--r-- | 39184 | DisjointAnalysis.java | blob | history | raw |
-rw-r--r-- | 9704 | ExistPred.java | blob | history | raw |
-rw-r--r-- | 2110 | ExistPredSet.java | blob | history | raw |
-rw-r--r-- | 6625 | HeapRegionNode.java | blob | history | raw |
-rw-r--r-- | 87104 | ReachGraph.java | blob | history | raw |
-rw-r--r-- | 4673 | ReachSet.java | blob | history | raw |
-rw-r--r-- | 2455 | ReachState.java | blob | history | raw |
-rw-r--r-- | 2975 | ReachTuple.java | blob | history | raw |
-rw-r--r-- | 4944 | RefEdge.java | blob | history | raw |
-rw-r--r-- | 1338 | RefSrcNode.java | blob | history | raw |
-rw-r--r-- | 741 | VariableNode.java | blob | history | raw |