Uses of Class
edu.umd.cs.findbugs.ba.vna.ValueNumberFrame
Packages that use ValueNumberFrame
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
-
Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba with parameters of type ValueNumberFrameModifier and TypeMethodDescriptionLockSet.getLockedValueNumbers
(ValueNumberFrame frame) private void
LockAnalysis.modifyLock
(ValueNumberFrame frame, LockSet fact, int delta) -
Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.bcp
Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type ValueNumberFrameModifier and TypeMethodDescriptionIfNull.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Invoke.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Load.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) MatchAny.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Monitorenter.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) New.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) 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.Store.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) 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 ValueNumberFrameModifier and TypeMethodDescriptionstatic Set
<ValueNumber> UnconditionalValueDerefAnalysis.checkAllNonNullParams
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueDataflow invDataflow, TypeDataflow typeDataflow) private void
UnconditionalValueDerefAnalysis.checkInstance
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) Check to see if the instruction has a null check associated with it, and if so, add a dereference.private void
UnconditionalValueDerefAnalysis.checkNonNullParams
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) If this is a method call instruction, check to see if any of the parameters are @NonNull, and treat them as dereferences.static Set
<ValueNumber> UnconditionalValueDerefAnalysis.checkNonNullParams
(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueFrame invFrame) private void
UnconditionalValueDerefAnalysis.checkNonNullPutField
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) If this is a putfield or putstatic instruction, check to see if the field is @NonNull, and treat it as dereferences.private void
UnconditionalValueDerefAnalysis.checkNonNullReturnValue
(XMethod thisMethod, Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) If this is a method call instruction, check to see if any of the parameters are @NonNull, and treat them as dereferences.private void
UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) Check method call at given location to see if it unconditionally dereferences a parameter.static 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) private void
UnconditionalValueDerefAnalysis.handleNullCheck
(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact) -
Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.npe
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberFrameModifier 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
IsNullValueFrame.cleanStaleKnowledge
(ValueNumberFrame vnaFrameAfter) static BugAnnotation
NullDerefAndRedundantComparisonFinder.findAnnotationFromValueNumber
(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame) Deprecated.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.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. -
Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.vna
Fields in edu.umd.cs.findbugs.ba.vna with type parameters of type ValueNumberFrameModifier and TypeFieldDescriptionprivate final HashMap
<Location, ValueNumberFrame> ValueNumberAnalysis.factAfterLocationMap
private final HashMap
<Location, ValueNumberFrame> ValueNumberAnalysis.factAtLocationMap
Methods in edu.umd.cs.findbugs.ba.vna that return ValueNumberFrameModifier and TypeMethodDescriptionValueNumberAnalysis.createFact()
ValueNumberAnalysis.getFactAfterLocation
(Location location) ValueNumberAnalysis.getFactAtLocation
(Location location) Methods in edu.umd.cs.findbugs.ba.vna that return types with arguments of type ValueNumberFrameModifier and TypeMethodDescriptionValueNumberAnalysis.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 ValueNumberFrameModifier and TypeMethodDescriptionprivate void
ValueNumberFrame.assignAvailableLoadMap
(ValueNumberFrame other) private void
ValueNumberFrame.assignPreviouslyKnownAs
(ValueNumberFrame other) static BugAnnotation
ValueNumberSourceInfo.findAnnotationFromValueNumber
(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, 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, 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) (package private) void
ValueNumberFrame.mergeAvailableLoadSets
(ValueNumberFrame other, ValueNumberFactory factory, MergeTree mergeTree) protected void
ValueNumberAnalysis.mergeInto
(ValueNumberFrame frame, ValueNumberFrame result) private ValueNumber
ValueNumberAnalysis.mergeValues
(ValueNumberFrame frame, int slot, ValueNumber mine, ValueNumber other) 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 ValueNumberFrameModifier and TypeMethodDescriptionvoid
ValueNumberAnalysis.compactValueNumbers
(Dataflow<ValueNumberFrame, ValueNumberAnalysis> dataflow) Deprecated. -
Uses of ValueNumberFrame in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect that return ValueNumberFrameModifier and TypeMethodDescriptionFindUselessObjects.ExceptionLocation.frameAfter()
FindUselessObjects.GenLocation.frameAfter()
FindUselessObjects.RegularLocation.frameAfter()
FindUselessObjects.ExceptionLocation.frameBefore()
FindUselessObjects.GenLocation.frameBefore()
FindUselessObjects.RegularLocation.frameBefore()
Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumberFrameModifier and TypeMethodDescriptionprivate void
CheckTypeQualifiers.checkForConflictingValues
(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame) private void
CheckTypeQualifiers.checkForEqualityTest
(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, Location loc, ValueNumberFrame factAtLocation) private void
CheckTypeQualifiers.emitDataflowWarning
(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame) 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)
ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame, String)
instead