Stable capture.
authorjjenista <jjenista>
Thu, 27 Mar 2008 21:31:29 +0000 (21:31 +0000)
committerjjenista <jjenista>
Thu, 27 Mar 2008 21:31:29 +0000 (21:31 +0000)
commitf7c64d166f69db2ad9ccdfd1e843c128e543e6e3
treeb08f2616df3d4dda3c70035868126702610fb231
parentc5fc0124be1d8be4709e7f1c69feb2abd8902cb6
Stable capture.
Method call resolution algorithm is drafted, but clearly there are bugs
because a simple program with an alias-creating method doesn't reflect
the correct heap structure in the caller graph.
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdgeProperties.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java