added support for null heap region, doesn't work perfectly because null region gets...
authorjjenista <jjenista>
Tue, 15 Sep 2009 17:57:58 +0000 (17:57 +0000)
committerjjenista <jjenista>
Tue, 15 Sep 2009 17:57:58 +0000 (17:57 +0000)
commitb7b292c16e2ff414817915b722c3bd538257ec18
treece94f322ff7237ec2b3d9f743abb8cd3d3f7754e
parentdac4be6b621d9a3e5ff3551cbbe6d24c83f243ad
added support for null heap region, doesn't work perfectly because null region gets outgoing edges
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/testBug/makefile [new file with mode: 0644]
Robust/src/Tests/OwnershipAnalysisTest/testBug/test.java [new file with mode: 0644]
Robust/src/Tests/OwnershipAnalysisTest/testNull/makefile [new file with mode: 0644]
Robust/src/Tests/OwnershipAnalysisTest/testNull/test.java [new file with mode: 0644]