public class NullPointerSolver<B extends ISSABasicBlock> extends com.ibm.wala.dataflow.graph.DataflowSolver<B,NullPointerState>
| Constructor and Description |
|---|
NullPointerSolver(NullPointerFrameWork<B> problem,
int maxVarNum,
B entry,
IR ir,
ParameterState initialState) |
NullPointerSolver(NullPointerFrameWork<B> problem,
int maxVarNum,
IR ir,
B entry) |
| Modifier and Type | Method and Description |
|---|---|
protected NullPointerState |
makeEdgeVariable(B src,
B dst) |
protected NullPointerState |
makeNodeVariable(B n,
boolean IN) |
protected NullPointerState[] |
makeStmtRHS(int size) |
buildEquations, getEdge, getEdge, getIn, getOut, getProblem, initializeVariables, initializeWorkListgetFixedPointSystemaddAllStatementsToWorkList, addToWorkList, changedVariable, emptyWorkList, getMaxEvalBetweenTopo, getMinSizeForTopSort, getNumberOfEvaluations, getPeriodicMaintainInterval, getStatements, getTopologicalGrowthFactor, getVerboseInterval, incNumberOfEvaluations, initForFirstSolve, isChanged, isFixed, isSideEffect, lineBreak, newStatement, newStatement, newStatement, newStatement, newStatement, orderStatements, performVerboseAction, periodicMaintenance, removeStatement, setMaxEvalBetweenTopo, setMinEquationsForTopSort, setTopologicalGrowthFactor, solve, toStringpublic NullPointerSolver(NullPointerFrameWork<B> problem, int maxVarNum, IR ir, B entry)
public NullPointerSolver(NullPointerFrameWork<B> problem, int maxVarNum, B entry, IR ir, ParameterState initialState)
protected NullPointerState makeEdgeVariable(B src, B dst)
makeEdgeVariable in class com.ibm.wala.dataflow.graph.DataflowSolver<B extends ISSABasicBlock,NullPointerState>protected NullPointerState makeNodeVariable(B n, boolean IN)
makeNodeVariable in class com.ibm.wala.dataflow.graph.DataflowSolver<B extends ISSABasicBlock,NullPointerState>protected NullPointerState[] makeStmtRHS(int size)
makeStmtRHS in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<NullPointerState>