debugging something else, but commiting this bug fix--mapping out-of-context nodes...
authorjjenista <jjenista>
Thu, 11 Mar 2010 23:38:53 +0000 (23:38 +0000)
committerjjenista <jjenista>
Thu, 11 Mar 2010 23:38:53 +0000 (23:38 +0000)
commit3f6bc5173cf6c0fd4156494b5fdea3d5e7430808
tree65fdbda4915d6616d5e40b36a3786ea1b32dd80e
parentadf4a6c25946b7fd8f078177f7c214dbdb9277fe
debugging something else, but commiting this bug fix--mapping out-of-context nodes to a unique heap region id requires that the callee method be part of the identifier string otherwise an ooc region can appear in more than one context of a call chain, which is bad
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/VariableNode.java
Robust/src/Tests/disjoint/predicateTest2/makefile
Robust/src/Tests/disjoint/predicateTest2/test.java