Uses of Class
edu.umd.cs.findbugs.ba.vna.ValueNumberFrame
-
Packages that use ValueNumberFrame Package Description edu.umd.cs.findbugs.ba A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.edu.umd.cs.findbugs.ba.bcp edu.umd.cs.findbugs.ba.deref edu.umd.cs.findbugs.ba.npe edu.umd.cs.findbugs.ba.vna edu.umd.cs.findbugs.detect -
-
Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba with parameters of type ValueNumberFrame Modifier and Type Method Description java.util.Collection<ValueNumber>
LockSet. getLockedValueNumbers(ValueNumberFrame frame)
-
Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.bcp
Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type ValueNumberFrame Modifier and Type Method Description MatchResult
IfNull. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
Invoke. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
Load. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
MatchAny. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
Monitorenter. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
New. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
Opcode. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
abstract MatchResult
PatternElement. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
Return whether or not this element matches the given instruction with the given Bindings in effect.MatchResult
Store. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
Wild. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
protected static Variable
FieldAccess. snarfFieldValue(org.apache.bcel.generic.FieldInstruction fieldIns, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame frame)
Get a Variable representing the stack value which will either be stored into or loaded from a field. -
Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type ValueNumberFrame Modifier and Type Method Description static java.util.Set<ValueNumber>
UnconditionalValueDerefAnalysis. checkAllNonNullParams(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueDataflow invDataflow, TypeDataflow typeDataflow)
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)
void
UnconditionalValueDerefSet. cleanDerefSet(Location location, ValueNumberFrame vnaFrame)
-
Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.npe
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberFrame Modifier and Type Method Description void
IsNullValueFrame. cleanStaleKnowledge(ValueNumberFrame vnaFrameAfter)
static BugAnnotation
NullDerefAndRedundantComparisonFinder. findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static FieldAnnotation
NullDerefAndRedundantComparisonFinder. findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static LocalVariableAnnotation
NullDerefAndRedundantComparisonFinder. findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static XField
NullDerefAndRedundantComparisonFinder. findXFieldFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
Deprecated.void
NullDerefAndRedundantComparisonCollector. foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
void
NullDerefAndRedundantComparisonCollector. foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
Subclasses should override this method to capture locations where a null pointer is dereferenced. -
Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.vna
Methods in edu.umd.cs.findbugs.ba.vna that return ValueNumberFrame Modifier and Type Method Description ValueNumberFrame
ValueNumberAnalysis. createFact()
ValueNumberFrame
ValueNumberAnalysis. getFactAfterLocation(Location location)
ValueNumberFrame
ValueNumberAnalysis. getFactAtLocation(Location location)
Methods in edu.umd.cs.findbugs.ba.vna that return types with arguments of type ValueNumberFrame Modifier and Type Method Description java.util.Iterator<ValueNumberFrame>
ValueNumberAnalysis. factIterator()
Get an Iterator over all dataflow facts that we've recorded for the Locations in the CFG.Methods in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumberFrame Modifier and Type Method Description static BugAnnotation
ValueNumberSourceInfo. findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, java.lang.String partialRole)
static FieldAnnotation
ValueNumberSourceInfo. findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static LocalVariableAnnotation
ValueNumberSourceInfo. findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static BugAnnotation
ValueNumberSourceInfo. findRequiredAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, java.lang.String partialRole)
static XField
ValueNumberSourceInfo. findXFieldFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
void
ValueNumberAnalysis. initEntryFact(ValueNumberFrame result)
void
ValueNumberAnalysis. meetInto(ValueNumberFrame fact, Edge edge, ValueNumberFrame result)
protected void
ValueNumberAnalysis. mergeInto(ValueNumberFrame frame, ValueNumberFrame result)
protected void
ValueNumberAnalysis. mergeValues(ValueNumberFrame otherFrame, ValueNumberFrame resultFrame, int slot)
void
ValueNumberAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, ValueNumberFrame start, ValueNumberFrame result)
void
ValueNumberAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ValueNumberFrame fact)
Method parameters in edu.umd.cs.findbugs.ba.vna with type arguments of type ValueNumberFrame Modifier and Type Method Description void
ValueNumberAnalysis. compactValueNumbers(Dataflow<ValueNumberFrame,ValueNumberAnalysis> dataflow)
Deprecated. -
Uses of ValueNumberFrame in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumberFrame Modifier and Type Method Description void
FindNullDeref. foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
Deprecated.void
FindNullDeref. foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
void
NoiseNullDeref. foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
Deprecated.void
NoiseNullDeref. foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
-