Bug fix: report aliases between allocated objects in presence of shared references
authorjjenista <jjenista>
Tue, 3 Mar 2009 21:52:38 +0000 (21:52 +0000)
committerjjenista <jjenista>
Tue, 3 Mar 2009 21:52:38 +0000 (21:52 +0000)
commit3018771c3bcdbccf4c9732666f2fd04ec7db3e63
treea4d9b8f8b668e3cc4d8720ae1bdbc5dd36599d28
parentfb0c0837598c0f9c9b8f06e13445464912ec0c44
Bug fix: report aliases between allocated objects in presence of shared references
Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/test05/makefile [new file with mode: 0644]
Robust/src/Tests/OwnershipAnalysisTest/test05/test.java [new file with mode: 0644]
Robust/src/Tests/OwnershipAnalysisTest/testArrays/makefile