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

interproc exception analysis: remove unneccessary special treatment of fakeRoot

This commit is contained in:
Juergen Graf 2012-04-19 14:29:58 +02:00
parent 6a8e8fe018
commit 88ca1eafad
1 changed files with 1 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
com.ibm.wala.core/src/com/ibm/wala/cfg/exc/inter/InterprocNullPointerAnalysis.java
View File

@ -154,19 +154,7 @@ public final class InterprocNullPointerAnalysis {
paramState.setState(0, State.NOT_NULL);
}
// skip the fakeRoot and memorize the successors to visit them later
if (AnalysisUtil.isFakeRoot(startNode)) {
for (CGNode successor : getAllSuccessors(startNode)) {
// we neither have an instruction nor a parameter state
final HashMap<SSAAbstractInvokeInstruction, ParameterState> invokeMap =
new HashMap<SSAAbstractInvokeInstruction, ParameterState>();
invokeMap.put(null, null);
result.put(successor, invokeMap);
}
// we have nothing to tell about the fakeroot
states.put(startNode, new IntraprocAnalysisState());
} else if (ir == null || ir.isEmptyIR()) {
if (ir == null || ir.isEmptyIR()) {
// we have nothing to tell about the empty IR
states.put(startNode, new IntraprocAnalysisState());
} else {
@ -200,25 +188,6 @@ public final class InterprocNullPointerAnalysis {
return result;
}
/**
* Returns all successor of a given cg's node.
*
* @param node
* The node of the cg
* @return a set with alle successors of <code>node</code>
*/
private Set<CGNode> getAllSuccessors(CGNode node) {
final Set<CGNode> successors = new HashSet<CGNode>();
final Iterator<CGNode> it = cgFiltered.getSuccNodes(node);
while (it.hasNext()) {
final CGNode successor = it.next();
successors.add(successor);
}
return successors;
}
/**
* Returns the result of the interprocedural analysis.
*