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

Packages that use ValueNumberFrame

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.npe
edu.umd.cs.findbugs.ba.vna
edu.umd.cs.findbugs.detect

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba

Methods in edu.umd.cs.findbugs.ba with parameters of type ValueNumberFrame

Modifier and Type	Method	Description
Collection<ValueNumber>	LockSet.getLockedValueNumbers(ValueNumberFrame frame)
private void	LockAnalysis.modifyLock(ValueNumberFrame frame, LockSet fact, int delta)

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

Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type ValueNumberFrame

Modifier and Type	Method	Description
MatchResult	IfNull.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	Invoke.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	Load.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	MatchAny.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	Monitorenter.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	New.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	Opcode.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
abstract MatchResult	PatternElement.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)	Return whether or not this element matches the given instruction with the given Bindings in effect.
MatchResult	Store.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult	Wild.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
protected static Variable	FieldAccess.snarfFieldValue(org.apache.bcel.generic.FieldInstruction fieldIns, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame frame)	Get a Variable representing the stack value which will either be stored into or loaded from a field.

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.deref

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type ValueNumberFrame

Modifier and Type	Method	Description
static Set<ValueNumber>	UnconditionalValueDerefAnalysis.checkAllNonNullParams(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueDataflow invDataflow, TypeDataflow typeDataflow)
private void	UnconditionalValueDerefAnalysis.checkInstance(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)	Check to see if the instruction has a null check associated with it, and if so, add a dereference.
private void	UnconditionalValueDerefAnalysis.checkNonNullParams(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)	If this is a method call instruction, check to see if any of the parameters are @NonNull, and treat them as dereferences.
static Set<ValueNumber>	UnconditionalValueDerefAnalysis.checkNonNullParams(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, org.apache.bcel.classfile.Method method, IsNullValueFrame invFrame)
private void	UnconditionalValueDerefAnalysis.checkNonNullPutField(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)	If this is a putfield or putstatic instruction, check to see if the field is @NonNull, and treat it as dereferences.
private void	UnconditionalValueDerefAnalysis.checkNonNullReturnValue(XMethod thisMethod, Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)	If this is a method call instruction, check to see if any of the parameters are @NonNull, and treat them as dereferences.
private void	UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)	Check method call at given location to see if it unconditionally dereferences a parameter.
static Set<ValueNumber>	UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase(Location location, ValueNumberFrame vnaFrame, org.apache.bcel.generic.ConstantPoolGen constantPool, IsNullValueFrame invFrame, TypeDataflow typeDataflow)
void	UnconditionalValueDerefSet.cleanDerefSet(Location location, ValueNumberFrame vnaFrame)
private void	UnconditionalValueDerefAnalysis.handleNullCheck(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.npe

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberFrame

Modifier and Type	Method	Description
private void	NullDerefAndRedundantComparisonFinder.checkForUnconditionallyDereferencedNullValues(Location thisLocation, Map<ValueNumber, SortedSet<Location>> knownNullAndDoomedAt, Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, ValueNumberFrame vnaFrame, IsNullValueFrame invFrame, UnconditionalValueDerefSet derefSet, boolean isEdge)	Check for unconditionally dereferenced null values at a particular location in the CFG.
void	IsNullValueFrame.cleanStaleKnowledge(ValueNumberFrame vnaFrameAfter)
static BugAnnotation	NullDerefAndRedundantComparisonFinder.findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)	Deprecated. 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.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.
private IsNullValueFrame	IsNullValueAnalysis.replaceValues(IsNullValueFrame origFrame, IsNullValueFrame frame, ValueNumber replaceMe, ValueNumberFrame prevVnaFrame, ValueNumberFrame targetVnaFrame, IsNullValue replacementValue)	Update is-null information at a branch target based on information gained at a null comparison branch.

Uses of ValueNumberFrame in edu.umd.cs.findbugs.ba.vna

Subclasses with type arguments of type ValueNumberFrame in edu.umd.cs.findbugs.ba.vna

Modifier and Type	Class	Description
class	ValueNumberAnalysis	A dataflow analysis to track the production and flow of values in the Java stack frame.
class	ValueNumberDataflow
class	ValueNumberFrameModelingVisitor	Visitor which models the effects of bytecode instructions on value numbers of values in the operand stack frames.

Fields in edu.umd.cs.findbugs.ba.vna with type parameters of type ValueNumberFrame

Modifier and Type	Field	Description
private final HashMap<Location, ValueNumberFrame>	ValueNumberAnalysis.factAfterLocationMap
private final HashMap<Location, ValueNumberFrame>	ValueNumberAnalysis.factAtLocationMap

Methods in edu.umd.cs.findbugs.ba.vna that return ValueNumberFrame

Modifier and Type	Method	Description
ValueNumberFrame	ValueNumberAnalysis.createFact()
ValueNumberFrame	ValueNumberAnalysis.getFactAfterLocation(Location location)
ValueNumberFrame	ValueNumberAnalysis.getFactAtLocation(Location location)

Methods in edu.umd.cs.findbugs.ba.vna that return types with arguments of type ValueNumberFrame

Modifier and Type	Method	Description
Iterator<ValueNumberFrame>	ValueNumberAnalysis.factIterator()	Get an Iterator over all dataflow facts that we've recorded for the Locations in the CFG.

Methods in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumberFrame

Modifier and Type	Method	Description
private void	ValueNumberFrame.assignAvailableLoadMap(ValueNumberFrame other)
private void	ValueNumberFrame.assignPreviouslyKnownAs(ValueNumberFrame other)
static BugAnnotation	ValueNumberSourceInfo.findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, String partialRole)
static FieldAnnotation	ValueNumberSourceInfo.findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static LocalVariableAnnotation	ValueNumberSourceInfo.findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static BugAnnotation	ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, String partialRole)
static XField	ValueNumberSourceInfo.findXFieldFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
void	ValueNumberAnalysis.initEntryFact(ValueNumberFrame result)
void	ValueNumberAnalysis.meetInto(ValueNumberFrame fact, Edge edge, ValueNumberFrame result)
(package private) void	ValueNumberFrame.mergeAvailableLoadSets(ValueNumberFrame other, ValueNumberFactory factory, MergeTree mergeTree)
protected void	ValueNumberAnalysis.mergeInto(ValueNumberFrame frame, ValueNumberFrame result)
private ValueNumber	ValueNumberAnalysis.mergeValues(ValueNumberFrame frame, int slot, ValueNumber mine, ValueNumber other)
protected void	ValueNumberAnalysis.mergeValues(ValueNumberFrame otherFrame, ValueNumberFrame resultFrame, int slot)
void	ValueNumberAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, ValueNumberFrame start, ValueNumberFrame result)
void	ValueNumberAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ValueNumberFrame fact)

Method parameters in edu.umd.cs.findbugs.ba.vna with type arguments of type ValueNumberFrame

Modifier and Type	Method	Description
void	ValueNumberAnalysis.compactValueNumbers(Dataflow<ValueNumberFrame, ValueNumberAnalysis> dataflow)	Deprecated.

Uses of ValueNumberFrame in edu.umd.cs.findbugs.detect

Methods in edu.umd.cs.findbugs.detect that return ValueNumberFrame

Modifier and Type	Method	Description
ValueNumberFrame	FindUselessObjects.ExceptionLocation.frameAfter()
ValueNumberFrame	FindUselessObjects.GenLocation.frameAfter()
ValueNumberFrame	FindUselessObjects.RegularLocation.frameAfter()
ValueNumberFrame	FindUselessObjects.ExceptionLocation.frameBefore()
ValueNumberFrame	FindUselessObjects.GenLocation.frameBefore()
ValueNumberFrame	FindUselessObjects.RegularLocation.frameBefore()

Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumberFrame

Modifier and Type	Method	Description
private void	CheckTypeQualifiers.checkForConflictingValues(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void	CheckTypeQualifiers.checkForEqualityTest(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, Location loc, ValueNumberFrame factAtLocation)
private void	CheckTypeQualifiers.emitDataflowWarning(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
void	FindNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)	Deprecated. 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)