Added framework for ownership analysis.
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 5499 OwnershipAnalysis.java
-rw-r--r-- 5103 OwnershipGraph.java
-rw-r--r-- 832 OwnershipHeapRegionNode.java
-rw-r--r-- 834 OwnershipLabelNode.java
-rw-r--r-- 1652 OwnershipNode.java
-rw-r--r-- 899 TestOwnership.java
-rw-r--r-- 200 makefile