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 locations

Methods 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 ValueNumber
java.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)	Deprecated. Use ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame, String) instead
static FieldAnnotation	NullDerefAndRedundantComparisonFinder.findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)	Deprecated. Use ValueNumberSourceInfo.findFieldAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead
static LocalVariableAnnotation	NullDerefAndRedundantComparisonFinder.findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)	Deprecated. Use ValueNumberSourceInfo.findLocalAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead
static XField	NullDerefAndRedundantComparisonFinder.findXFieldFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)	Deprecated. Use ValueNumberSourceInfo.findXFieldFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead
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)	Deprecated. Use NullDerefAndRedundantComparisonCollector.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
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 of ValueNumber for an AvailableLoad and update the reverse map
ValueNumber[]	ValueNumberFrame.AvailableLoadBiMap.remove(AvailableLoad key)	Remove an AvailableLoad and update the reverse map

Methods 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 of ValueNumber for an AvailableLoad 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. Use FindNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
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. Use NoiseNullDeref.foundNullDeref(Location,ValueNumber,IsNullValue,ValueNumberFrame,boolean) instead
void	NoiseNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame, boolean isConsistent)
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)