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
void	addLocationWhereValueBecomesNull(LocationWhereValueBecomesNull locationWhereValueBecomesNull)
IsNullValueFrame	createFact()
void	endTransfer(BasicBlock basicBlock, InstructionHandle end, IsNullValueFrame result)
JavaClassAndMethod	getClassAndMethod()
IsNullValueFrame	getFactAtMidEdge(Edge edge)
Set<LocationWhereValueBecomesNull>	getLocationWhereValueBecomesNullSet()
void	initEntryFact(IsNullValueFrame result)
static void	main(String[] argv) Test driver.
void	meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result)
void	meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result, boolean propagatePhiNodeInformation)
void	setClassAndMethod(JavaClassAndMethod classAndMethod)
void	startTransfer()

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.