Uses of Class
edu.umd.cs.findbugs.ba.npe.IsNullValueFrame
Packages that use IsNullValueFrame
-
Uses of IsNullValueFrame in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type IsNullValueFrameModifier and TypeMethodDescriptionstatic 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
Fields in edu.umd.cs.findbugs.ba.npe declared as IsNullValueFrameModifier and TypeFieldDescriptionprivate IsNullValueFrame
IsNullValueAnalysis.cachedEntryFact
private IsNullValueFrame
IsNullValueAnalysis.instanceOfFrame
private IsNullValueFrame
IsNullValueAnalysis.lastFrame
Methods in edu.umd.cs.findbugs.ba.npe that return IsNullValueFrameModifier and TypeMethodDescriptionIsNullValueAnalysis.createFact()
IsNullValueAnalysis.getFactAtMidEdge
(Edge edge) 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 IsNullValueFrameModifier and TypeMethodDescriptionprivate 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)