edu.umd.cs.findbugs.ba.npe

Class IsNullValueAnalysis

public class IsNullValueAnalysis extends FrameDataflowAnalysis<IsNullValue,IsNullValueFrame> implements EdgeTypes, IsNullValueAnalysisFeatures

A dataflow analysis to detect potential null pointer dereferences.

Author: David Hovemeyer

See Also: IsNullValue IsNullValueFrame IsNullValueFrameModelingVisitor

Constructor Summary
IsNullValueAnalysis(MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods)
Method Summary
voidaddLocationWhereValueBecomesNull(LocationWhereValueBecomesNull locationWhereValueBecomesNull)
IsNullValueFramecreateFact()
voidendTransfer(BasicBlock basicBlock, InstructionHandle end, IsNullValueFrame result)
JavaClassAndMethodgetClassAndMethod()
IsNullValueFramegetFactAtMidEdge(Edge edge)
Set<LocationWhereValueBecomesNull>getLocationWhereValueBecomesNullSet()
voidinitEntryFact(IsNullValueFrame result)
static voidmain(String[] argv)
Test driver.
voidmeetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result)
voidmeetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result, boolean propagatePhiNodeInformation)
voidsetClassAndMethod(JavaClassAndMethod classAndMethod)
voidstartTransfer()

Constructor Detail

IsNullValueAnalysis

public IsNullValueAnalysis(MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods)

Method Detail

addLocationWhereValueBecomesNull

public void addLocationWhereValueBecomesNull(LocationWhereValueBecomesNull locationWhereValueBecomesNull)

createFact

public IsNullValueFrame createFact()

endTransfer

public void endTransfer(BasicBlock basicBlock, InstructionHandle end, IsNullValueFrame result)

getClassAndMethod

public JavaClassAndMethod getClassAndMethod()

getFactAtMidEdge

public IsNullValueFrame getFactAtMidEdge(Edge edge)

getLocationWhereValueBecomesNullSet

public Set<LocationWhereValueBecomesNull> getLocationWhereValueBecomesNullSet()

initEntryFact

public void initEntryFact(IsNullValueFrame result)

main

public static void main(String[] argv)
Test driver.

meetInto

public void meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result)

meetInto

public void meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result, boolean propagatePhiNodeInformation)

setClassAndMethod

public void setClassAndMethod(JavaClassAndMethod classAndMethod)

startTransfer

public void startTransfer()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.