drwxr-xr-x | .. | ||
-rw-r--r-- | 5913 | AllocSite.java | blob | history | raw |
-rw-r--r-- | 38206 | Canonical.java | blob | history | raw |
-rw-r--r-- | 3314 | CanonicalOp.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-- | 46615 | DisjointAnalysis.java | blob | history | raw |
-rw-r--r-- | 11190 | ExistPred.java | blob | history | raw |
-rw-r--r-- | 2707 | ExistPredSet.java | blob | history | raw |
-rw-r--r-- | 6874 | HeapRegionNode.java | blob | history | raw |
-rw-r--r-- | 135866 | ReachGraph.java | blob | history | raw |
-rw-r--r-- | 4673 | ReachSet.java | blob | history | raw |
-rw-r--r-- | 2968 | ReachState.java | blob | history | raw |
-rw-r--r-- | 3562 | ReachTuple.java | blob | history | raw |
-rw-r--r-- | 5042 | RefEdge.java | blob | history | raw |
-rw-r--r-- | 1338 | RefSrcNode.java | blob | history | raw |
-rw-r--r-- | 744 | VariableNode.java | blob | history | raw |