Added framework for ownership analysis.
authorjjenista <jjenista>
Tue, 13 Nov 2007 19:15:53 +0000 (19:15 +0000)
committerjjenista <jjenista>
Tue, 13 Nov 2007 19:15:53 +0000 (19:15 +0000)
commit4a5fbadc87b9d6bebc0947c03c85cd2d337c5c5f
tree89fca0bb988054a710fbd05a08eafe597fd660ea
parent3ed844c2c277904d89bbe2cb86dade9e90e2cae9
Added framework for ownership analysis.
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/OwnershipHeapRegionNode.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/OwnershipLabelNode.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/TestOwnership.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/makefile [new file with mode: 0644]
Robust/src/IR/State.java
Robust/src/Main/Main.java
Robust/src/Makefile