Uses of Class
edu.umd.cs.findbugs.ba.npe.IsNullValueFrame

Packages that use IsNullValueFrame

Package	Description
edu.umd.cs.findbugs.ba.deref
edu.umd.cs.findbugs.ba.npe

Uses of IsNullValueFrame in edu.umd.cs.findbugs.ba.deref

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type IsNullValueFrame

Modifier and Type	Method	Description
static Set<ValueNumber>	UnconditionalValueDerefAnalysis.checkNonNullParams(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueFrame invFrame)
static Set<ValueNumber>	UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, IsNullValueFrame invFrame, TypeDataflow typeDataflow)
private static boolean	UnconditionalValueDerefAnalysis.reportDereference(IsNullValueFrame invFrameAtNullCheck, int instance)
static boolean	UnconditionalValueDerefAnalysis.reportPotentialDereference(Location location, IsNullValueFrame invFrame)

Uses of IsNullValueFrame in edu.umd.cs.findbugs.ba.npe

Subclasses with type arguments of type IsNullValueFrame in edu.umd.cs.findbugs.ba.npe

Modifier and Type	Class	Description
class	IsNullValueAnalysis	A dataflow analysis to detect potential null pointer dereferences.
class	IsNullValueDataflow
class	IsNullValueFrameModelingVisitor

Fields in edu.umd.cs.findbugs.ba.npe declared as IsNullValueFrame

Modifier and Type	Field	Description
private IsNullValueFrame	IsNullValueAnalysis.cachedEntryFact
private IsNullValueFrame	IsNullValueAnalysis.instanceOfFrame
private IsNullValueFrame	IsNullValueAnalysis.lastFrame

Methods in edu.umd.cs.findbugs.ba.npe that return IsNullValueFrame

Modifier and Type	Method	Description
IsNullValueFrame	IsNullValueAnalysis.createFact()
IsNullValueFrame	IsNullValueAnalysis.getFactAtMidEdge(Edge edge)
IsNullValueFrame	IsNullValueDataflow.getFactAtMidEdge(Edge edge)
private IsNullValueFrame	IsNullValueAnalysis.replaceValues(IsNullValueFrame origFrame, IsNullValueFrame frame, ValueNumber replaceMe, ValueNumberFrame prevVnaFrame, ValueNumberFrame targetVnaFrame, IsNullValue replacementValue)	Update is-null information at a branch target based on information gained at a null comparison branch.

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type IsNullValueFrame

Modifier and Type	Method	Description
private void	NullDerefAndRedundantComparisonFinder.checkForUnconditionallyDereferencedNullValues(Location thisLocation, Map<ValueNumber, SortedSet<Location>> knownNullAndDoomedAt, Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, ValueNumberFrame vnaFrame, IsNullValueFrame invFrame, UnconditionalValueDerefSet derefSet, boolean isEdge)	Check for unconditionally dereferenced null values at a particular location in the CFG.
void	IsNullValueAnalysis.endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, IsNullValueFrame result)
private IsNullConditionDecision	IsNullValueAnalysis.getDecision(BasicBlock basicBlock, IsNullValueFrame lastFrame)	Determine if the given basic block ends in a redundant null comparison.
void	IsNullValueAnalysis.initEntryFact(IsNullValueFrame result)
void	IsNullValueAnalysis.meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result)
void	IsNullValueAnalysis.meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result, boolean propagatePhiNodeInformation)
protected void	IsNullValueAnalysis.mergeInto(IsNullValueFrame other, IsNullValueFrame result)
void	IsNullValueFrame.mergeKnownValuesWith(IsNullValueFrame otherFrame)
protected void	IsNullValueAnalysis.mergeValues(IsNullValueFrame otherFrame, IsNullValueFrame resultFrame, int slot)
private IsNullValueFrame	IsNullValueAnalysis.replaceValues(IsNullValueFrame origFrame, IsNullValueFrame frame, ValueNumber replaceMe, ValueNumberFrame prevVnaFrame, ValueNumberFrame targetVnaFrame, IsNullValue replacementValue)	Update is-null information at a branch target based on information gained at a null comparison branch.
void	IsNullValueAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, IsNullValueFrame start, IsNullValueFrame result)
void	IsNullValueAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, IsNullValueFrame fact)