drwxr-xr-x | .. | ||
-rw-r--r-- | 5909 | AllocSite.java | blob | history | raw |
-rw-r--r-- | 39205 | Canonical.java | blob | history | raw |
-rw-r--r-- | 3168 | CanonicalOp.java | blob | history | raw |
-rw-r--r-- | 2037 | ChangeSet.java | blob | history | raw |
-rw-r--r-- | 2373 | ChangeTuple.java | blob | history | raw |
-rw-r--r-- | 971 | DescriptorQWrapper.java | blob | history | raw |
-rw-r--r-- | 59676 | DisjointAnalysis.java | blob | history | raw |
-rw-r--r-- | 12612 | ExistPred.java | blob | history | raw |
-rw-r--r-- | 2788 | ExistPredSet.java | blob | history | raw |
-rw-r--r-- | 6892 | HeapRegionNode.java | blob | history | raw |
-rw-r--r-- | 150168 | ReachGraph.java | blob | history | raw |
-rw-r--r-- | 5437 | ReachSet.java | blob | history | raw |
-rw-r--r-- | 3687 | ReachState.java | blob | history | raw |
-rw-r--r-- | 3562 | ReachTuple.java | blob | history | raw |
-rw-r--r-- | 5122 | RefEdge.java | blob | history | raw |
-rw-r--r-- | 1338 | RefSrcNode.java | blob | history | raw |
-rw-r--r-- | 744 | VariableNode.java | blob | history | raw |