fix bug that a hrn ID integer and a boolean out-of-context --identify-- an out-of...
authorjjenista <jjenista>
Mon, 22 Mar 2010 23:02:03 +0000 (23:02 +0000)
committerjjenista <jjenista>
Mon, 22 Mar 2010 23:02:03 +0000 (23:02 +0000)
commit556b6ddd037f9f879a02a32f0f4c1a0be6df00b1
tree5ba288003b59d6243195e4e5d5025f1cd40cac59
parent38f5c981a52675b023764cde0e070d69e4bde6cd
fix bug that a hrn ID integer and a boolean out-of-context --identify-- an out-of-context node
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/HeapRegionNode.java
Robust/src/Analysis/Disjoint/HrnIdOoc.java [new file with mode: 0644]
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Benchmarks/disjoint/makefile