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

logic for PI nodes 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2395 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-16 14:44:29 +00:00
parent 99dc52a59b
commit b9814df41f
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDG.java
View File

@ -440,6 +440,7 @@ public class SDG extends AbstractNumberedGraph<Statement> implements ISDG {
}
}
case PHI:
case PI:
case CATCH:
case EXC_RET_CALLER:
case NORMAL_RET_CALLER:

2
com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDGSupergraph.java
View File

@ -270,6 +270,7 @@ class SDGSupergraph implements ISupergraph<Statement, PDG> {
case HEAP_RET_CALLER:
case METHOD_ENTRY:
case CATCH:
case PI:
return false;
case HEAP_PARAM_CALLER:
case PARAM_CALLER:
@ -317,6 +318,7 @@ class SDGSupergraph implements ISupergraph<Statement, PDG> {
case PARAM_CALLEE:
case HEAP_PARAM_CALLEE:
case PHI:
case PI:
case NORMAL_RET_CALLER:
case PARAM_CALLER:
case HEAP_RET_CALLER: