Uses of Class
edu.umd.cs.findbugs.ba.vna.ValueNumber
Packages that use ValueNumber
Package
Description
Support for analyzing code containing JSR-305 type qualifier annotations.
-
Uses of ValueNumber in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba that return types with arguments of type ValueNumber -
Uses of ValueNumber in edu.umd.cs.findbugs.ba.bcp
Constructors in edu.umd.cs.findbugs.ba.bcp with parameters of type ValueNumberModifierConstructorDescriptionFieldVariable
(ValueNumber ref, String className, String fieldName, String fieldSig) Constructor for instance fields.LocalVariable
(ValueNumber valueNumber) LongOrDoubleLocalVariable
(ValueNumber topValue, ValueNumber nextValue) -
Uses of ValueNumber in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref that return types with arguments of type ValueNumberModifier 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) 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) UnconditionalValueDerefSet.getValueNumbersThatAreUnconditionallyDereferenced()
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type ValueNumberModifier and TypeMethodDescriptionvoid
UnconditionalValueDerefSet.addDeref
(ValueNumber vn, Location location) Mark a value as being dereferenced at given Location.void
UnconditionalValueDerefSet.clearDerefSet
(ValueNumber value) Clear the set of dereferences for given ValueNumberUnconditionalValueDerefSet.getDerefLocationSet
(ValueNumber vn) Get the set of dereference Locations for given value number.UnconditionalValueDerefSet.getUnconditionalDerefLocationSet
(ValueNumber vn) Get the set of Locations where given value is guaranteed to be dereferenced.boolean
UnconditionalValueDerefSet.isUnconditionallyDereferenced
(ValueNumber vn) Return whether or not the given value number is unconditionally dereferenced.void
UnconditionalValueDerefSet.mergeWith
(UnconditionalValueDerefSet fact, ValueNumber skipMe, ValueNumberFactory valueNumberFactory) Merge given dataflow fact into this one.void
UnconditionalValueDerefSet.setDerefSet
(ValueNumber vn, Set<Location> derefSet) Set a value as being unconditionally dereferenced at the given set of locations.Method parameters in edu.umd.cs.findbugs.ba.deref with type arguments of type ValueNumberModifier and TypeMethodDescriptionvoid
UnconditionalValueDerefSet.retainOnlyTheseValueNumbers
(Collection<ValueNumber> valueNumbers) -
Uses of ValueNumber in edu.umd.cs.findbugs.ba.jsr305
Methods in edu.umd.cs.findbugs.ba.jsr305 that return ValueNumberMethods in edu.umd.cs.findbugs.ba.jsr305 that return types with arguments of type ValueNumberModifier and TypeMethodDescriptionCollection
<? extends ValueNumber> TypeQualifierValueSet.getValueNumbers()
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumberModifier and TypeMethodDescriptionTypeQualifierValueSet.getValue
(ValueNumber vn) Set
<? extends SourceSinkInfo> TypeQualifierValueSet.getWhere
(ValueNumber vn) Set
<? extends SourceSinkInfo> TypeQualifierValueSet.getWhereAlways
(ValueNumber vn) Set
<? extends SourceSinkInfo> TypeQualifierValueSet.getWhereNever
(ValueNumber vn) protected void
BackwardTypeQualifierDataflowAnalysis.propagateAcrossPhiNode
(TypeQualifierValueSet fact, ValueNumber sourceVN, ValueNumber targetVN) protected void
ForwardTypeQualifierDataflowAnalysis.propagateAcrossPhiNode
(TypeQualifierValueSet fact, ValueNumber sourceVN, ValueNumber targetVN) protected abstract void
TypeQualifierDataflowAnalysis.propagateAcrossPhiNode
(TypeQualifierValueSet fact, ValueNumber sourceVN, ValueNumber targetVN) void
TypeQualifierValueSet.propagateAcrossPhiNode
(ValueNumber fromVN, ValueNumber toVN) void
TypeQualifierValueSet.pruneValue
(ValueNumber vn) TypeQualifierValueSet.valueNumberToString
(ValueNumber vn) TypeQualifierValueSet.valueNumberToString
(ValueNumber vn, FlowValue value) Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumberModifierConstructorDescriptionSourceSinkInfo
(SourceSinkType type, Location location, ValueNumber vn, javax.annotation.meta.When when) Constructor. -
Uses of ValueNumber in edu.umd.cs.findbugs.ba.npe
Fields in edu.umd.cs.findbugs.ba.npe declared as ValueNumberMethods in edu.umd.cs.findbugs.ba.npe that return ValueNumberModifier and TypeMethodDescriptionIsNullConditionDecision.getValue()
Get the value about which the branch yields information.LocationWhereValueBecomesNull.getValueNumber()
Methods in edu.umd.cs.findbugs.ba.npe that return types with arguments of type ValueNumberModifier and TypeMethodDescriptionNullDerefAndRedundantComparisonFinder.findNullAssignments
(Set<LocationWhereValueBecomesNull> locationWhereValueBecomesNullSet) IsNullValueFrame.getKnownValueMapEntrySet()
IsNullValueFrame.getKnownValues()
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberModifier and TypeMethodDescriptionvoid
UsagesRequiringNonNullValues.add
(Location loc, ValueNumber vn, PointerUsageRequiringNonNullValue usage) 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.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered) Subclasses should override this method to capture values assigned null (or that become null through a comparison and branch) that are guaranteed to reach a dereference (ignoring implicit exception paths).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.UsagesRequiringNonNullValues.get
(Location loc, ValueNumber vn, ValueNumberDataflow vnaDataflow) IsNullValueFrame.getKnownValue
(ValueNumber valueNumber) void
IsNullValueFrame.setKnownValue
(ValueNumber valueNumber, IsNullValue knownValue) void
IsNullValueFrame.useNewValueNumberForLoad
(ValueNumber oldValueNumber, ValueNumber newValueNumber) Method parameters in edu.umd.cs.findbugs.ba.npe with type arguments of type ValueNumberModifier and TypeMethodDescriptionvoid
NullDerefAndRedundantComparisonFinder.checkEdges
(CFG cfg, Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, Map<ValueNumber, SortedSet<Location>> bugEdgeLocationMap) void
NullDerefAndRedundantComparisonFinder.reportBugs
(Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, HashSet<ValueNumber> npeIfStatementCovered, Map<ValueNumber, SortedSet<Location>> bugLocationMap, Map<ValueNumber, Set<Location>> nullValueAssignmentMap) void
NullDerefAndRedundantComparisonFinder.reportBugs
(Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, HashSet<ValueNumber> npeIfStatementCovered, Map<ValueNumber, SortedSet<Location>> bugLocationMap, Map<ValueNumber, Set<Location>> nullValueAssignmentMap) Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberModifierConstructorDescriptionIsNullConditionDecision
(ValueNumber value, IsNullValue ifcmpDecision, IsNullValue fallThroughDecision) Constructor.LocationWhereValueBecomesNull
(Location location, ValueNumber valueNumber) Constructor.PointerEqualityCheck
(ValueNumber reg1, ValueNumber reg2, int firstValuePC) -
Uses of ValueNumber in edu.umd.cs.findbugs.ba.type
Methods in edu.umd.cs.findbugs.ba.type that return ValueNumberModifier and TypeMethodDescriptionTypeFrameModelingVisitor.getInstanceOfValueNumber()
Get the value number of the most recent instanceof instruction modeled. -
Uses of ValueNumber in edu.umd.cs.findbugs.ba.vna
Fields in edu.umd.cs.findbugs.ba.vna declared as ValueNumberMethods in edu.umd.cs.findbugs.ba.vna that return ValueNumberModifier and TypeMethodDescriptionValueNumberFactory.createFreshValue()
Create a fresh (unique) value number.ValueNumberFactory.createFreshValue
(int flags) static ValueNumber
ValueNumber.createValueNumber
(int number) static ValueNumber
ValueNumber.createValueNumber
(int number, int flags) ValueNumberFactory.forNumber
(int number) Return a previously allocated value.ValueNumberFrame.getAvailableLoad
(AvailableLoad availableLoad) Look for an available load.ValueNumberAnalysis.getClassObjectValue
(String className) ValueNumberFactory.getClassObjectValue
(String className) Get the ValueNumber for given class's Class object.ValueNumberFrameModelingVisitor.getDefaultValue()
ValueNumberAnalysis.getEntryValue
(int local) Get the value number assigned to the given local variable upon entry to the method.ValueNumberAnalysis.getEntryValueForParameter
(int param) Get the value number assigned to the given parameter upon entry to the method.AvailableLoad.getReference()
Get the ValueNumber of the object reference.ValueNumberAnalysis.getThisValue()
ValueNumberCache.lookupOutputValues
(ValueNumberCache.Entry entry) Look up cached output values for given entry.Methods in edu.umd.cs.findbugs.ba.vna that return types with arguments of type ValueNumberModifier and TypeMethodDescriptionValueNumberDataflow.getValueNumberToParamMap
(String methodSignature, boolean isStatic) Build map of value numbers to param indices.ValueNumberDataflow.getValueNumberToParamMap
(org.apache.bcel.classfile.Method method) Build map of value numbers to param indices.ValueNumberFrame.valueNumbersForLoads()
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumberModifier and TypeMethodDescriptionvoid
ValueNumberFrame.addAvailableLoad
(AvailableLoad availableLoad, ValueNumber[] value) Add an available load.void
ValueNumberCache.addOutputValues
(ValueNumberCache.Entry entry, ValueNumber[] outputValueList) Add output values for given entry.int
ValueNumber.compareTo
(ValueNumber 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) boolean
ValueNumberFrame.fromMatchingFields
(ValueNumber v1, ValueNumber v2) boolean
ValueNumberFrame.fromMatchingLoads
(ValueNumber v1, ValueNumber v2) boolean
ValueNumberFrame.fuzzyMatch
(ValueNumber v1, ValueNumber v2) ValueNumberAnalysis.getClassName
(ValueNumber v) ValueNumberDataflow.getClassName
(ValueNumber v) ValueNumberFactory.getClassName
(ValueNumber v) MergeTree.getInputSet
(ValueNumber output) Get the set of input ValueNumbers which directly contributed to the given output ValueNumber.ValueNumberFrame.getLoad
(ValueNumber v) MergeTree.getTransitiveInputSet
(ValueNumber output) Get the transitive set of input ValueNumbers which contributed (directly or indirectly) to the given output ValueNumber.boolean
ValueNumberFrame.haveMatchingFlags
(ValueNumber v1, ValueNumber v2) boolean
ValueNumberAnalysis.isThisValue
(ValueNumber value) void
ValueNumberFrame.killAllLoadsExceptFor
(ValueNumber v) void
ValueNumberFrame.killAllLoadsOf
(ValueNumber v) Kill all loads.void
MergeTree.mapInputToOutput
(ValueNumber input, ValueNumber output) Map an input ValueNumber to an output ValueNumber.boolean
AvailableLoad.matchesReference
(ValueNumber v) boolean
ValueNumberFrame.veryFuzzyMatch
(ValueNumber v1, ValueNumber v2) Method parameters in edu.umd.cs.findbugs.ba.vna with type arguments of type ValueNumberModifier and TypeMethodDescriptionvoid
ValueNumberFrame.copyFrom
(Frame<ValueNumber> other) boolean
ValueNumberFrame.sameAs
(Frame<ValueNumber> other) Constructors in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumberModifierConstructorDescriptionAvailableLoad
(ValueNumber reference, XField field) Constructor from object reference and instance field.Entry
(org.apache.bcel.generic.InstructionHandle handle, ValueNumber[] inputValueList) -
Uses of ValueNumber in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumberModifier and TypeMethodDescriptionvoid
FindNullDeref.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered) void
NoiseNullDeref.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered) 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) boolean
BuildUnconditionalParamDerefDatabase.isCaught
(ClassContext classContext, org.apache.bcel.classfile.Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN)
ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame, String)
instead