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 java.util.Set<ValueNumber>
UnconditionalValueDerefAnalysis. checkNonNullParams(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueFrame invFrame)
static java.util.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
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, java.util.Map<ValueNumber,java.util.SortedSet<Location>> knownNullAndDoomedAt, java.util.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)
-