drwxr-xr-x | .. | ||
-rw-r--r-- | 5915 | 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-- | 60431 | DisjointAnalysis.java | blob | history | raw |
-rw-r--r-- | 12798 | ExistPred.java | blob | history | raw |
-rw-r--r-- | 2891 | ExistPredSet.java | blob | history | raw |
-rw-r--r-- | 7457 | HeapRegionNode.java | blob | history | raw |
-rw-r--r-- | 1063 | HrnIdOoc.java | blob | history | raw |
-rw-r--r-- | 156632 | ReachGraph.java | blob | history | raw |
-rw-r--r-- | 5544 | 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 |