def reach has to use PointerMethod to detect CFG edges that the analysis cares about
authorjjenista <jjenista>
Wed, 9 Nov 2011 00:34:10 +0000 (00:34 +0000)
committerjjenista <jjenista>
Wed, 9 Nov 2011 00:34:10 +0000 (00:34 +0000)
commitd5efb0a27c071121f4228cc40a93913f4f255b55
treedee6ba19a4c383955bd20e5bcbc5b81c0fc968b5
parentb0fdc59140f9146fc7cfcc318a3923086d82a54b
def reach has to use PointerMethod to detect CFG edges that the analysis cares about
Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Tests/disjoint/definite/makefile
Robust/src/Tests/disjoint/definite/test.java