com.ibm.wala.cfg.exc.intra

Class NullPointerSolver<B extends ISSABasicBlock>

java.lang.Object

com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<T>

com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<V>

com.ibm.wala.dataflow.graph.DataflowSolver<B,NullPointerState>

com.ibm.wala.cfg.exc.intra.NullPointerSolver<B>

All Implemented Interfaces:

com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver<NullPointerState>, com.ibm.wala.util.debug.VerboseAction

public class NullPointerSolver<B extends ISSABasicBlock>
extends com.ibm.wala.dataflow.graph.DataflowSolver<B,NullPointerState>

Intraprocedural dataflow analysis to detect impossible NullPointerExceptions.

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver.Statement

Field Summary

Fields inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList

Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants

CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK

Constructor Summary

Constructors

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)

Method Summary

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)

Methods inherited from class com.ibm.wala.dataflow.graph.DataflowSolver

buildEquations, getEdge, getEdge, getIn, getOut, getProblem, initializeVariables, initializeWorkList

Methods inherited from class com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver

getFixedPointSystem

Methods inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

addAllStatementsToWorkList, 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, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NullPointerSolver

public NullPointerSolver(NullPointerFrameWork<B> problem,
                         int maxVarNum,
                         IR ir,
                         B entry)

NullPointerSolver

public NullPointerSolver(NullPointerFrameWork<B> problem,
                         int maxVarNum,
                         B entry,
                         IR ir,
                         ParameterState initialState)

Method Detail

makeEdgeVariable

protected NullPointerState makeEdgeVariable(B src,
                                            B dst)

Specified by:

makeEdgeVariable in class com.ibm.wala.dataflow.graph.DataflowSolver<B extends ISSABasicBlock,NullPointerState>

makeNodeVariable

protected NullPointerState makeNodeVariable(B n,
                                            boolean IN)

Specified by:

makeNodeVariable in class com.ibm.wala.dataflow.graph.DataflowSolver<B extends ISSABasicBlock,NullPointerState>

makeStmtRHS

protected NullPointerState[] makeStmtRHS(int size)

Specified by:

makeStmtRHS in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<NullPointerState>