FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.vna.ValueNumber

Packages that use ValueNumber
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.npe2 This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. 
edu.umd.cs.findbugs.ba.type   
edu.umd.cs.findbugs.ba.vna   
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
 java.util.Collection<ValueNumber> LockSet.getLockedValueNumbers(ValueNumberFrame frame)
           
 

Uses of ValueNumber in edu.umd.cs.findbugs.ba.bcp
 

Constructors in edu.umd.cs.findbugs.ba.bcp with parameters of type ValueNumber
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
 

Methods in edu.umd.cs.findbugs.ba.deref that return types with arguments of type ValueNumber
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
 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.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
 void UnconditionalValueDerefSet.retainOnlyTheseValueNumbers(java.util.Collection<ValueNumber> valueNumbers)
           
 

Uses of ValueNumber in edu.umd.cs.findbugs.ba.jsr305
 

Methods in edu.umd.cs.findbugs.ba.jsr305 that return ValueNumber
 ValueNumber SourceSinkInfo.getValueNumber()
           
 

Methods in edu.umd.cs.findbugs.ba.jsr305 that return types with arguments of type ValueNumber
 java.util.Collection<? extends ValueNumber> TypeQualifierValueSet.getValueNumbers()
           
 

Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumber
 FlowValue TypeQualifierValueSet.getValue(ValueNumber vn)
           
 java.util.Set<SourceSinkInfo> TypeQualifierValueSet.getWhereAlways(ValueNumber vn)
           
 java.util.Set<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)
           
 java.lang.String TypeQualifierValueSet.valueNumberToString(ValueNumber vn)
           
 

Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumber
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
 ValueNumber UsagesRequiringNonNullValues.Pair.vn
           
 

Methods in edu.umd.cs.findbugs.ba.npe that return ValueNumber
 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
 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
 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)
           
 IsNullValue IsNullValueFrame.getKnownValue(ValueNumber valueNumber)
           
 void IsNullValueFrame.setKnownValue(ValueNumber valueNumber, IsNullValue knownValue)
           
 void IsNullValueFrame.useNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber)
           
 

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumber
IsNullConditionDecision(ValueNumber value, IsNullValue ifcmpDecision, IsNullValue fallThroughDecision)
          Constructor.
IsNullValueAnalysis.PointerEqualityCheck(ValueNumber reg1, ValueNumber reg2, int firstValuePC)
           
LocationWhereValueBecomesNull(Location location, ValueNumber valueNumber)
          Constructor.
 

Uses of ValueNumber in edu.umd.cs.findbugs.ba.npe2
 

Methods in edu.umd.cs.findbugs.ba.npe2 that return ValueNumber
abstract  ValueNumber Condition.getValueNumber()
           
 ValueNumber IfNullCondition.getValueNumber()
           
 ValueNumber AcmpCondition.getValueNumber()
          Deprecated.  
 

Methods in edu.umd.cs.findbugs.ba.npe2 with parameters of type ValueNumber
 java.util.BitSet DefinitelyNullSet.getAssignedNullLocationSet(ValueNumber vn)
           
 NullnessValue DefinitelyNullSet.getNulllessValue(ValueNumber valueNumber)
           
 void DefinitelyNullSet.setNullnessValue(ValueNumber valueNumber, NullnessValue nullnessValue)
           
 

Uses of ValueNumber in edu.umd.cs.findbugs.ba.type
 

Methods in edu.umd.cs.findbugs.ba.type that return ValueNumber
 ValueNumber TypeFrameModelingVisitor.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 ValueNumber
 ValueNumber[] ValueNumberCache.Entry.inputValueList
           
 

Methods in edu.umd.cs.findbugs.ba.vna that return ValueNumber
 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.getAvailableLoad(AvailableLoad availableLoad)
          Look for an available load.
 ValueNumber ValueNumberFactory.getClassObjectValue(java.lang.String className)
          Get the ValueNumber for given class's Class object.
 ValueNumber ValueNumberAnalysis.getClassObjectValue(java.lang.String className)
           
 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.
 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.
 

Methods in edu.umd.cs.findbugs.ba.vna that return types with arguments of type ValueNumber
 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.Map<ValueNumber,java.lang.Integer> ValueNumberDataflow.getValueNumberToParamMap(java.lang.String methodSignature, boolean isStatic)
          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
 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.
 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 ValueNumberDataflow.getClassName(ValueNumber v)
           
 java.lang.String ValueNumberFactory.getClassName(ValueNumber v)
           
 java.lang.String ValueNumberAnalysis.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.getLoad(ValueNumber v)
           
 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)
           
 boolean ValueNumberFrame.veryFuzzyMatch(ValueNumber v1, ValueNumber v2)
           
 

Method parameters in edu.umd.cs.findbugs.ba.vna with type arguments of type ValueNumber
 void ValueNumberFrame.copyFrom(Frame<ValueNumber> other)
           
 

Constructors in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumber
AvailableLoad(ValueNumber reference, XField field)
          Constructor from object reference and instance field.
ValueNumberCache.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 ValueNumber
 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 NoiseNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
          Deprecated. Use NoiseNullDeref.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, boolean isConsistent)
           
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.