DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

add some debug support 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2319 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-09 13:34:49 +00:00
parent 2aa906c503
commit 0894592912
1 changed files with 14 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/thin/CISDG.java
View File

@ -31,17 +31,19 @@ import com.ibm.wala.util.debug.Assertions;
import com.ibm.wala.util.intset.IntSet;
/**
* A context-insensitive SDG. This class assumes that it is given a normal NO_HEAP SDG.
* It adds context-insensitive heap information directly from heap stores to corresponding
* loads, based on an underlying pointer analysis.
*
* A context-insensitive SDG. This class assumes that it is given a normal NO_HEAP SDG. It adds context-insensitive heap
* information directly from heap stores to corresponding loads, based on an underlying pointer analysis.
*
*/
public class CISDG implements ISDG {
private final static boolean DEBUG = false;
/**
* the basic SDG, without interprocedural heap edges
*/
final SDG noHeap;
/**
* What pointer keys does each statement mod?
*/
@ -127,6 +129,9 @@ public class CISDG implements ISDG {
}
public Iterator<? extends Statement> getPredNodes(Statement N) {
if (DEBUG) {
System.err.println("getPredNodes " + N);
}
if (ref.get(N) == null) {
return noHeap.getPredNodes(N);
} else {
@ -142,7 +147,7 @@ public class CISDG implements ISDG {
}
public int getSuccNodeCount(Statement N) {
return IteratorUtil.count(getSuccNodes(N));
return IteratorUtil.count(getSuccNodes(N));
}
public IntSet getSuccNodeNumbers(Statement node) {
@ -151,6 +156,9 @@ public class CISDG implements ISDG {
}
public Iterator<? extends Statement> getSuccNodes(Statement N) {
if (DEBUG) {
System.err.println("getSuccNodes " + N);
}
if (mod.get(N) == null) {
return noHeap.getSuccNodes(N);
} else {