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

Added correct handling for this pointer in member methods.

This commit is contained in:
Stephan Gocht 2015-11-30 23:03:28 +01:00
parent bed18b792c
commit fd0d06df5d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.ibm.wala.core/src/com/ibm/wala/cfg/exc/intra/NullPointerSolver.java
View File

@ -27,7 +27,7 @@ public class NullPointerSolver<B extends ISSABasicBlock> extends DataflowSolver<
private final IR ir;
public NullPointerSolver(NullPointerFrameWork<B> problem, int maxVarNum, int[] paramVarNum, IR ir) {
this(problem, maxVarNum, paramVarNum, null, ir);
this(problem, maxVarNum, paramVarNum, ParameterState.createDefault(ir.getMethod()), ir);
}
public NullPointerSolver(NullPointerFrameWork<B> problem, int maxVarNum, int[] paramVarNum, ParameterState initialState, IR ir) {