Uses of Class
edu.umd.cs.findbugs.ba.vna.ValueNumber
-
Packages that use ValueNumber 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.jsr305 Support for analyzing code containing JSR-305 type qualifier annotations.edu.umd.cs.findbugs.ba.npe edu.umd.cs.findbugs.ba.type edu.umd.cs.findbugs.ba.vna edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework.edu.umd.cs.findbugs.detect -
-
Uses of ValueNumber in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba that return types with arguments of type ValueNumber Modifier and Type Method Description java.util.Collection<ValueNumber>
LockSet. getLockedValueNumbers(ValueNumberFrame frame)
-
Uses of ValueNumber in edu.umd.cs.findbugs.ba.bcp
Fields in edu.umd.cs.findbugs.ba.bcp declared as ValueNumber Modifier and Type Field Description private ValueNumber
LongOrDoubleLocalVariable. nextValue
private ValueNumber
FieldVariable. ref
private ValueNumber
LongOrDoubleLocalVariable. topValue
private ValueNumber
LocalVariable. valueNumber
Constructors in edu.umd.cs.findbugs.ba.bcp with parameters of type ValueNumber Constructor Description FieldVariable(ValueNumber ref, java.lang.String className, java.lang.String fieldName, java.lang.String fieldSig)
Constructor for instance fields.LocalVariable(ValueNumber valueNumber)
LongOrDoubleLocalVariable(ValueNumber topValue, ValueNumber nextValue)
-
Uses of ValueNumber in edu.umd.cs.findbugs.ba.deref
Fields in edu.umd.cs.findbugs.ba.deref with type parameters of type ValueNumber Modifier and Type Field Description private java.util.Map<ValueNumber,java.util.Set<Location>>
UnconditionalValueDerefSet. derefLocationSetMap
Map of value numbers to locationsMethods in edu.umd.cs.findbugs.ba.deref that return ValueNumber Modifier and Type Method Description private ValueNumber
UnconditionalValueDerefAnalysis. findValueKnownNonnullOnBranch(UnconditionalValueDerefSet fact, Edge edge)
Clear deref sets of values if this edge is the non-null branch of an if comparison.Methods in edu.umd.cs.findbugs.ba.deref that return types with arguments of type ValueNumber 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)
java.util.Set<ValueNumber>
UnconditionalValueDerefSet. getValueNumbersThatAreUnconditionallyDereferenced()
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type ValueNumber Modifier and Type Method Description void
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 ValueNumberjava.util.Set<Location>
UnconditionalValueDerefSet. getDerefLocationSet(ValueNumber vn)
Get the set of dereference Locations for given value number.java.util.Set<Location>
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, java.util.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 ValueNumber Modifier and Type Method Description void
UnconditionalValueDerefSet. retainOnlyTheseValueNumbers(java.util.Collection<ValueNumber> valueNumbers)
-
Uses of ValueNumber in edu.umd.cs.findbugs.ba.jsr305
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as ValueNumber Modifier and Type Field Description private ValueNumber
SourceSinkInfo. vn
Fields in edu.umd.cs.findbugs.ba.jsr305 with type parameters of type ValueNumber Modifier and Type Field Description private java.util.Map<ValueNumber,FlowValue>
TypeQualifierValueSet. valueMap
private java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>>
TypeQualifierValueSet. whereAlways
private java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>>
TypeQualifierValueSet. whereNever
Methods in edu.umd.cs.findbugs.ba.jsr305 that return ValueNumber Modifier and Type Method Description ValueNumber
SourceSinkInfo. getValueNumber()
Methods in edu.umd.cs.findbugs.ba.jsr305 that return types with arguments of type ValueNumber Modifier and Type Method Description java.util.Collection<? extends ValueNumber>
TypeQualifierValueSet. getValueNumbers()
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumber Modifier and Type Method Description private static void
TypeQualifierValueSet. addSourceSinkInfo(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn, SourceSinkInfo sourceSinkInfo)
(package private) void
TypeQualifierValueSet. copyInfo(ValueNumber from, ValueNumber to)
private static java.util.Set<SourceSinkInfo>
TypeQualifierValueSet. getOrCreateSourceSinkInfoSet(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn)
private static java.util.Set<? extends SourceSinkInfo>
TypeQualifierValueSet. getSourceSinkInfoSet(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn)
FlowValue
TypeQualifierValueSet. getValue(ValueNumber vn)
java.util.Set<? extends SourceSinkInfo>
TypeQualifierValueSet. getWhere(ValueNumber vn)
java.util.Set<? extends SourceSinkInfo>
TypeQualifierValueSet. getWhereAlways(ValueNumber vn)
java.util.Set<? extends SourceSinkInfo>
TypeQualifierValueSet. getWhereNever(ValueNumber vn)
private void
TypeQualifierValueSet. mergeSourceSinkInfoSets(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMapToUpdate, java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> otherSourceSinkInfoSetMap, 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)
private void
TypeQualifierValueSet. setValue(ValueNumber vn, FlowValue flowValue)
private static void
TypeQualifierValueSet. transferSourceSinkInfoSet(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber fromVN, ValueNumber toVN)
java.lang.String
TypeQualifierValueSet. valueNumberToString(ValueNumber vn)
java.lang.String
TypeQualifierValueSet. valueNumberToString(ValueNumber vn, FlowValue value)
Method parameters in edu.umd.cs.findbugs.ba.jsr305 with type arguments of type ValueNumber Modifier and Type Method Description private static void
TypeQualifierValueSet. addSourceSinkInfo(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn, SourceSinkInfo sourceSinkInfo)
private void
TypeQualifierValueSet. copySourceSinkInfoSetMap(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> dest, java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> source)
private static java.util.Set<SourceSinkInfo>
TypeQualifierValueSet. getOrCreateSourceSinkInfoSet(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn)
private static java.util.Set<? extends SourceSinkInfo>
TypeQualifierValueSet. getSourceSinkInfoSet(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber vn)
private void
TypeQualifierValueSet. mergeSourceSinkInfoSets(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMapToUpdate, java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> otherSourceSinkInfoSetMap, ValueNumber vn)
private static void
TypeQualifierValueSet. transferSourceSinkInfoSet(java.util.Map<ValueNumber,java.util.Set<SourceSinkInfo>> sourceSinkInfoSetMap, ValueNumber fromVN, ValueNumber toVN)
Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumber Constructor Description SourceSinkInfo(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 ValueNumber Modifier and Type Field Description (package private) ValueNumber
IsNullValueFrame.PointerEqualityInfo. addr1
(package private) ValueNumber
IsNullValueFrame.PointerEqualityInfo. addr2
(package private) ValueNumber
IsNullValueAnalysis.PointerEqualityCheck. reg1
(package private) ValueNumber
IsNullValueAnalysis.PointerEqualityCheck. reg2
private ValueNumber
IsNullConditionDecision. value
private ValueNumber
LocationWhereValueBecomesNull. valueNumber
ValueNumber
UsagesRequiringNonNullValues.Pair. vn
Fields in edu.umd.cs.findbugs.ba.npe with type parameters of type ValueNumber Modifier and Type Field Description private java.util.Map<ValueNumber,IsNullValue>
IsNullValueFrame. knownValueMap
Methods in edu.umd.cs.findbugs.ba.npe that return ValueNumber Modifier and Type Method Description private ValueNumber
IsNullValueAnalysis. getKnownNonnullDueToPointerDisequality(ValueNumber knownNull, int pc)
ValueNumber
IsNullConditionDecision. getValue()
Get the value about which the branch yields information.ValueNumber
LocationWhereValueBecomesNull. getValueNumber()
Methods in edu.umd.cs.findbugs.ba.npe that return types with arguments of type ValueNumber Modifier and Type Method Description java.util.Map<ValueNumber,java.util.Set<Location>>
NullDerefAndRedundantComparisonFinder. findNullAssignments(java.util.Set<LocationWhereValueBecomesNull> locationWhereValueBecomesNullSet)
java.util.Collection<java.util.Map.Entry<ValueNumber,IsNullValue>>
IsNullValueFrame. getKnownValueMapEntrySet()
java.util.Collection<ValueNumber>
IsNullValueFrame. getKnownValues()
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumber Modifier and Type Method Description void
UsagesRequiringNonNullValues. add(Location loc, ValueNumber vn, PointerUsageRequiringNonNullValue usage)
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. foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.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.PointerUsageRequiringNonNullValue
UsagesRequiringNonNullValues. get(Location loc, ValueNumber vn, ValueNumberDataflow vnaDataflow)
private ValueNumber
IsNullValueAnalysis. getKnownNonnullDueToPointerDisequality(ValueNumber knownNull, int pc)
IsNullValue
IsNullValueFrame. getKnownValue(ValueNumber valueNumber)
private IsNullConditionDecision
IsNullValueAnalysis. handleIfNull(IsNullValue tos, ValueNumber prevTopValue, boolean ifnull)
private void
NullDerefAndRedundantComparisonFinder. noteUnconditionallyDereferencedNullValue(Location thisLocation, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocations, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, UnconditionalValueDerefSet derefSet, IsNullValue isNullValue, ValueNumber valueNumber)
Note the locations where a known-null value is unconditionally 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.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 ValueNumber Modifier and Type Method Description void
NullDerefAndRedundantComparisonFinder. checkEdges(CFG cfg, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugEdgeLocationMap)
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.private void
NullDerefAndRedundantComparisonFinder. noteUnconditionallyDereferencedNullValue(Location thisLocation, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocations, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, UnconditionalValueDerefSet derefSet, IsNullValue isNullValue, ValueNumber valueNumber)
Note the locations where a known-null value is unconditionally dereferenced.void
NullDerefAndRedundantComparisonFinder. reportBugs(java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.HashSet<ValueNumber> npeIfStatementCovered, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocationMap, java.util.Map<ValueNumber,java.util.Set<Location>> nullValueAssignmentMap)
void
NullDerefAndRedundantComparisonFinder. reportBugs(java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.HashSet<ValueNumber> npeIfStatementCovered, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocationMap, java.util.Map<ValueNumber,java.util.Set<Location>> nullValueAssignmentMap)
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumber Constructor Description IsNullConditionDecision(ValueNumber value, IsNullValue ifcmpDecision, IsNullValue fallThroughDecision)
Constructor.LocationWhereValueBecomesNull(Location location, ValueNumber valueNumber)
Constructor.Pair(ValueNumber vn, PointerUsageRequiringNonNullValue pu)
PointerEqualityCheck(ValueNumber reg1, ValueNumber reg2, int firstValuePC)
PointerEqualityInfo(ValueNumber addr1, ValueNumber addr2, boolean areEqual)
-
Uses of ValueNumber in edu.umd.cs.findbugs.ba.type
Fields in edu.umd.cs.findbugs.ba.type declared as ValueNumber Modifier and Type Field Description private ValueNumber
TypeFrameModelingVisitor. instanceOfValueNumber
(package private) ValueNumber
TypeAnalysis.InstanceOfCheck. valueNumber
Methods in edu.umd.cs.findbugs.ba.type that return ValueNumber Modifier and Type Method Description ValueNumber
TypeFrameModelingVisitor. getInstanceOfValueNumber()
Get the value number of the most recent instanceof instruction modeled.ValueNumber
TypeAnalysis.InstanceOfCheck. getValueNumber()
Constructors in edu.umd.cs.findbugs.ba.type with parameters of type ValueNumber Constructor Description InstanceOfCheck(ValueNumber valueNumber, org.apache.bcel.generic.Type type)
-
Uses of ValueNumber in edu.umd.cs.findbugs.ba.vna
Fields in edu.umd.cs.findbugs.ba.vna declared as ValueNumber Modifier and Type Field Description private static ValueNumber[]
ValueNumberFrameModelingVisitor. EMPTY_INPUT_VALUE_LIST
private ValueNumber[]
ValueNumberAnalysis. entryLocalValueList
ValueNumber[]
ValueNumberCache.Entry. inputValueList
private ValueNumber
AvailableLoad. reference
private ValueNumber
ValueNumberAnalysis. thisValue
Fields in edu.umd.cs.findbugs.ba.vna with type parameters of type ValueNumber Modifier and Type Field Description private java.util.ArrayList<ValueNumber>
ValueNumberFactory. allocatedValueList
Store all allocated value numbers.(package private) static MapCache<ValueNumber,ValueNumber>
ValueNumber. cache
(package private) static MapCache<ValueNumber,ValueNumber>
ValueNumber. cache
private java.util.HashMap<java.lang.String,ValueNumber>
ValueNumberFactory. classObjectValueMap
private java.util.HashMap<java.lang.Object,ValueNumber>
ValueNumberFrameModelingVisitor. constantValueMap
private java.util.IdentityHashMap<BasicBlock,ValueNumber>
ValueNumberAnalysis. exceptionHandlerValueNumberMap
private java.util.Map<AvailableLoad,ValueNumber>
ValueNumberFrame. mergedLoads
private java.util.ArrayList<ValueNumber>
ValueNumberFrame. mergedValueList
private java.util.Map<ValueNumber,java.util.BitSet>
MergeTree. outputToInputMap
private java.util.Map<ValueNumber,AvailableLoad>
ValueNumberFrame. previouslyKnownAs
private java.util.Map<ValueNumber,AvailableLoad>
ValueNumberFrame.AvailableLoadBiMap. reverseMap
private java.util.HashMap<ValueNumber,java.lang.String>
ValueNumberFrameModelingVisitor. stringConstantMap
Methods in edu.umd.cs.findbugs.ba.vna that return ValueNumber Modifier and Type Method Description private static ValueNumber[]
ValueNumberFrameModelingVisitor. allocateValueNumberArray(int size)
Creates a new empty array (if needed) with given size.ValueNumber
ValueNumberFactory. createFreshValue()
Create a fresh (unique) value number.ValueNumber
ValueNumberFactory. createFreshValue(int flags)
static ValueNumber
ValueNumber. createValueNumber(int number)
static ValueNumber
ValueNumber. createValueNumber(int number, int flags)
ValueNumber
ValueNumberFactory. forNumber(int number)
Return a previously allocated value.ValueNumber[]
ValueNumberFrame.AvailableLoadBiMap. get(AvailableLoad key)
ValueNumber[]
ValueNumberFrame. getAvailableLoad(AvailableLoad availableLoad)
Look for an available load.ValueNumber
ValueNumberAnalysis. getClassObjectValue(java.lang.String className)
ValueNumber
ValueNumberFactory. getClassObjectValue(java.lang.String className)
Get the ValueNumber for given class's Class object.ValueNumber
ValueNumberFrameModelingVisitor. getDefaultValue()
ValueNumber
ValueNumberAnalysis. getEntryValue(int local)
Get the value number assigned to the given local variable upon entry to the method.ValueNumber
ValueNumberAnalysis. getEntryValueForParameter(int param)
Get the value number assigned to the given parameter upon entry to the method.private ValueNumber
ValueNumberAnalysis. getExceptionValueNumber(BasicBlock handlerBlock)
Mark value numbers in a value number frame for compaction.(package private) ValueNumber
ValueNumberFrame. getMergedValue(int slot)
private ValueNumber[]
ValueNumberFrameModelingVisitor. getOutputValues(ValueNumber[] inputValueList, int numWordsProduced)
Get output values for current instruction from the ValueNumberCache.private ValueNumber[]
ValueNumberFrameModelingVisitor. getOutputValues(ValueNumber[] inputValueList, int numWordsProduced, int flags)
ValueNumber
AvailableLoad. getReference()
Get the ValueNumber of the object reference.ValueNumber
ValueNumberAnalysis. getThisValue()
ValueNumber[]
ValueNumberCache. lookupOutputValues(ValueNumberCache.Entry entry)
Look up cached output values for given entry.private ValueNumber
ValueNumberAnalysis. mergeValues(ValueNumberFrame frame, int slot, ValueNumber mine, ValueNumber other)
private ValueNumber[]
ValueNumberFrameModelingVisitor. popInputValues(int numWordsConsumed)
Pop the input values for the given instruction from the current frame.ValueNumber[]
ValueNumberFrame.AvailableLoadBiMap. put(AvailableLoad key, ValueNumber[] value)
Put an array ofValueNumber
for anAvailableLoad
and update the reverse mapValueNumber[]
ValueNumberFrame.AvailableLoadBiMap. remove(AvailableLoad key)
Remove anAvailableLoad
and update the reverse mapMethods in edu.umd.cs.findbugs.ba.vna that return types with arguments of type ValueNumber Modifier and Type Method Description private java.util.Map<AvailableLoad,ValueNumber>
ValueNumberFrame. getMergedLoads()
private java.util.Map<ValueNumber,AvailableLoad>
ValueNumberFrame. getPreviouslyKnownAs()
private java.util.Map<AvailableLoad,ValueNumber>
ValueNumberFrame. getUpdateableMergedLoads()
private java.util.Map<ValueNumber,AvailableLoad>
ValueNumberFrame. getUpdateablePreviouslyKnownAs()
java.util.Map<ValueNumber,java.lang.Integer>
ValueNumberDataflow. getValueNumberToParamMap(java.lang.String methodSignature, boolean isStatic)
Build map of value numbers to param indices.java.util.Map<ValueNumber,java.lang.Integer>
ValueNumberDataflow. getValueNumberToParamMap(org.apache.bcel.classfile.Method method)
Build map of value numbers to param indices.java.util.Collection<ValueNumber>
ValueNumberFrame. valueNumbersForLoads()
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumber Modifier and Type Method Description void
ValueNumberFrame. addAvailableLoad(AvailableLoad availableLoad, ValueNumber[] value)
Add an available load.void
ValueNumberCache. addOutputValues(ValueNumberCache.Entry entry, ValueNumber[] outputValueList)
Add output values for given entry.private void
ValueNumberFrameModelingVisitor. checkConsumedAndProducedValues(org.apache.bcel.generic.Instruction ins, ValueNumber[] consumedValueList, ValueNumber[] producedValueList)
int
ValueNumber. compareTo(ValueNumber other)
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)
boolean
ValueNumberFrame. fromMatchingFields(ValueNumber v1, ValueNumber v2)
boolean
ValueNumberFrame. fromMatchingLoads(ValueNumber v1, ValueNumber v2)
boolean
ValueNumberFrame. fuzzyMatch(ValueNumber v1, ValueNumber v2)
java.lang.String
ValueNumberAnalysis. getClassName(ValueNumber v)
java.lang.String
ValueNumberDataflow. getClassName(ValueNumber v)
java.lang.String
ValueNumberFactory. getClassName(ValueNumber v)
java.util.BitSet
MergeTree. getInputSet(ValueNumber output)
Get the set of input ValueNumbers which directly contributed to the given output ValueNumber.AvailableLoad
ValueNumberFrame.AvailableLoadBiMap. getLoad(ValueNumber v)
AvailableLoad
ValueNumberFrame. getLoad(ValueNumber v)
private ValueNumber[]
ValueNumberFrameModelingVisitor. getOutputValues(ValueNumber[] inputValueList, int numWordsProduced)
Get output values for current instruction from the ValueNumberCache.private ValueNumber[]
ValueNumberFrameModelingVisitor. getOutputValues(ValueNumber[] inputValueList, int numWordsProduced, int flags)
java.util.BitSet
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)
private ValueNumber
ValueNumberAnalysis. mergeValues(ValueNumberFrame frame, int slot, ValueNumber mine, ValueNumber other)
private void
ValueNumberFrameModelingVisitor. pushOutputValues(ValueNumber[] outputValueList)
Push given output values onto the current frame.ValueNumber[]
ValueNumberFrame.AvailableLoadBiMap. put(AvailableLoad key, ValueNumber[] value)
Put an array ofValueNumber
for anAvailableLoad
and update the reverse map(package private) void
ValueNumberFrame. setMergedValue(int slot, ValueNumber value)
void
ValueNumberFrame.AvailableLoadBiMap. updateEntryValue(java.util.Map.Entry<AvailableLoad,ValueNumber[]> e, ValueNumber value)
private static java.lang.String
ValueNumberFrame. valueToString(ValueNumber[] valueNumberList)
boolean
ValueNumberFrame. veryFuzzyMatch(ValueNumber v1, ValueNumber v2)
private static java.lang.String
ValueNumberFrameModelingVisitor. vlts(ValueNumber[] vl)
Method parameters in edu.umd.cs.findbugs.ba.vna with type arguments of type ValueNumber Modifier and Type Method Description void
ValueNumberFrame. copyFrom(Frame<ValueNumber> other)
boolean
ValueNumberFrame. sameAs(Frame<ValueNumber> other)
private void
ValueNumberFrame. setMergedLoads(java.util.Map<AvailableLoad,ValueNumber> mergedLoads)
private void
ValueNumberFrame. setPreviouslyKnownAs(java.util.Map<ValueNumber,AvailableLoad> previouslyKnownAs)
Constructors in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumber Constructor Description AvailableLoad(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.classfile.engine.bcel
Fields in edu.umd.cs.findbugs.classfile.engine.bcel declared as ValueNumber Modifier and Type Field Description (package private) ValueNumber
ValueRangeAnalysisFactory.Value. vn
Constructors in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type ValueNumber Constructor Description Value(java.lang.String name, ValueNumber vn, java.lang.String signature)
-
Uses of ValueNumber in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as ValueNumber Modifier and Type Field Description private ValueNumber
Lock. lockValue
(package private) ValueNumber
FindUselessObjects.UselessValuesContext. thisValue
Methods in edu.umd.cs.findbugs.detect that return ValueNumber Modifier and Type Method Description ValueNumber
Lock. getLockValue()
Methods in edu.umd.cs.findbugs.detect that return types with arguments of type ValueNumber Modifier and Type Method Description private java.util.Set<ValueNumber>
FindBadCast2. getParameterValueNumbers(ClassContext classContext, org.apache.bcel.classfile.Method method, CFG cfg)
private java.util.Set<ValueNumber>
FindSqlInjection. getPassthruParams(ValueNumberDataflow vnd, org.apache.bcel.classfile.Method method, org.apache.bcel.classfile.JavaClass javaClass)
Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumber Modifier and Type Method Description private void
CheckTypeQualifiers. annotateWarningWithSourceSinkInfo(BugInstance warning, XMethod xMethod, ValueNumber vn, SourceSinkInfo sourceSinkInfo)
private void
CheckTypeQualifiers. emitDataflowWarning(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void
CheckTypeQualifiers. emitSourceWarning(java.lang.String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)
(package private) boolean
FindUselessObjects.UselessValuesContext. escaped(ValueNumber vn)
void
FindNullDeref. foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
void
NoiseNullDeref. foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.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)
(package private) java.lang.String
FindNullDeref. getDescription(Location loc, ValueNumber refValue)
(package private) java.lang.String
NoiseNullDeref. getDescription(Location loc, ValueNumber refValue)
(package private) java.util.Set<FindUselessObjects.ValueInfo>
FindUselessObjects.UselessValuesContext. getLiveVals(ValueNumber vn)
private Location
FindSqlInjection. getValueNumberCreationLocation(ValueNumberDataflow vnd, ValueNumber vn)
boolean
BuildUnconditionalParamDerefDatabase. isCaught(ClassContext classContext, org.apache.bcel.classfile.Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN)
(package private) boolean
FindUselessObjects.UselessValuesContext. propagateToReturnValue(java.util.Set<FindUselessObjects.ValueInfo> vals, ValueNumber vn, FindUselessObjects.GenLocation location, MethodDescriptor m)
(package private) boolean
FindUselessObjects.UselessValuesContext. propagateValues(java.util.Set<FindUselessObjects.ValueInfo> vals, ValueNumber origNumber, ValueNumber vn)
(package private) boolean
FindUselessObjects.UselessValuesContext. setDerivedEscape(java.util.Set<FindUselessObjects.ValueInfo> vals, ValueNumber vn)
(package private) boolean
FindUselessObjects.UselessValuesContext. setObjectOnly(java.util.Set<FindUselessObjects.ValueInfo> vals, ValueNumber vn)
Constructors in edu.umd.cs.findbugs.detect with parameters of type ValueNumber Constructor Description Lock(Location location, java.lang.String lockClass, ValueNumber lockValue)
-