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

Packages that use ValueNumberDataflow

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.classfile.engine.bcel	Support for analyses based on the BCEL bytecode framework.
edu.umd.cs.findbugs.detect

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

Fields in edu.umd.cs.findbugs.ba declared as ValueNumberDataflow

Modifier and Type	Field	Description
private final ValueNumberDataflow	LockAnalysis.vnaDataflow
private ValueNumberDataflow	LockChecker.vnaDataflow

Methods in edu.umd.cs.findbugs.ba that return ValueNumberDataflow

Modifier and Type	Method	Description
ValueNumberDataflow	ClassContext.getValueNumberDataflow(org.apache.bcel.classfile.Method method)	Get a ValueNumberDataflow for given method.

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

Modifier and Type	Method	Description
static void	ClassContext.dumpDataflowInformation(org.apache.bcel.classfile.Method method, CFG cfg, ValueNumberDataflow vnd, IsNullValueDataflow inv, UnconditionalValueDerefDataflow dataflow, TypeDataflow typeDataflow)

Constructors in edu.umd.cs.findbugs.ba with parameters of type ValueNumberDataflow

Modifier	Constructor	Description
	LockAnalysis(org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs)

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

Fields in edu.umd.cs.findbugs.ba.bcp declared as ValueNumberDataflow

Modifier and Type	Field	Description
private final ValueNumberDataflow	PatternMatcher.vnaDataflow

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

Fields in edu.umd.cs.findbugs.ba.deref declared as ValueNumberDataflow

Modifier and Type	Field	Description
private final ValueNumberDataflow	UnconditionalValueDerefAnalysis.vnaDataflow

Constructors in edu.umd.cs.findbugs.ba.deref with parameters of type ValueNumberDataflow

Modifier	Constructor	Description
	UnconditionalValueDerefAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, CFG cfg, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, AssertionMethods assertionMethods)	Constructor.

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

Fields in edu.umd.cs.findbugs.ba.jsr305 declared as ValueNumberDataflow

Modifier and Type	Field	Description
protected final ValueNumberDataflow	TypeQualifierDataflowAnalysis.vnaDataflow

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

Modifier and Type	Method	Description
protected BackwardTypeQualifierDataflow	BackwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue)
protected ForwardTypeQualifierDataflow	ForwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue)
protected abstract DataflowType	TypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor1, TypeQualifierValue<?> typeQualifierValue)
protected void	BackwardTypeQualifierDataflowFactory.populateDatabase(BackwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)
protected void	ForwardTypeQualifierDataflowFactory.populateDatabase(ForwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)
protected abstract void	TypeQualifierDataflowFactory.populateDatabase(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)

Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumberDataflow

Modifier	Constructor	Description
	BackwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, ReverseDepthFirstSearch rdfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)	Constructor.
	ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)	Constructor.
protected	TypeQualifierDataflowAnalysis(XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)	Constructor.

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

Fields in edu.umd.cs.findbugs.ba.npe declared as ValueNumberDataflow

Modifier and Type	Field	Description
private final ValueNumberDataflow	IsNullValueAnalysis.vnaDataflow
private final ValueNumberDataflow	IsNullValueFrameModelingVisitor.vnaDataflow
private ValueNumberDataflow	NullDerefAndRedundantComparisonFinder.vnaDataflow

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

Modifier and Type	Method	Description
void	NullDerefAndRedundantComparisonCollector.foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)	Subclasses should override this method to capture values assigned null (or that become null through a comparison and branch) that are guaranteed to reach a dereference (ignoring implicit exception paths).
PointerUsageRequiringNonNullValue	UsagesRequiringNonNullValues.get(Location loc, ValueNumber vn, ValueNumberDataflow vnaDataflow)
static IsNullValueAnalysis.PointerEqualityCheck	IsNullValueAnalysis.getForPointerEqualityCheck(CFG cfg, ValueNumberDataflow vna)

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberDataflow

Modifier	Constructor	Description
	IsNullValueAnalysis(MethodDescriptor descriptor, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods)
	IsNullValueFrameModelingVisitor(org.apache.bcel.generic.ConstantPoolGen cpg, AssertionMethods assertionMethods, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, boolean trackValueNumbers)

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

Fields in edu.umd.cs.findbugs.ba.type declared as ValueNumberDataflow

Modifier and Type	Field	Description
private ValueNumberDataflow	TypeAnalysis.valueNumberDataflow
private ValueNumberDataflow	TypeFrameModelingVisitor.valueNumberDataflow

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

Modifier and Type	Method	Description
void	TypeAnalysis.setValueNumberDataflow(ValueNumberDataflow valueNumberDataflow)	Set the ValueNumberDataflow for the method being analyzed.
void	TypeFrameModelingVisitor.setValueNumberDataflow(ValueNumberDataflow valueNumberDataflow)	Set ValueNumberDataflow for the method being analyzed.

Uses of ValueNumberDataflow in edu.umd.cs.findbugs.classfile.engine.bcel

Fields in edu.umd.cs.findbugs.classfile.engine.bcel declared as ValueNumberDataflow

Modifier and Type	Field	Description
(package private) final ValueNumberDataflow	ValueRangeAnalysisFactory.Context.vnaDataflow

Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return ValueNumberDataflow

Modifier and Type	Method	Description
ValueNumberDataflow	ValueNumberDataflowFactory.analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
protected ValueNumberDataflow	AnalysisFactory.getValueNumberDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)

Constructors in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type ValueNumberDataflow

Modifier	Constructor	Description
	Context(org.apache.bcel.classfile.ConstantPool cp, org.apache.bcel.classfile.LocalVariableTable lvTable, Map<Integer,ValueRangeAnalysisFactory.Value> types, ValueNumberDataflow vnaDataflow)

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

Fields in edu.umd.cs.findbugs.detect declared as ValueNumberDataflow

Modifier and Type	Field	Description
private ValueNumberDataflow	FindNullDeref.vnaDataflow
private final ValueNumberDataflow	FindUnreleasedLock.LockFrameModelingVisitor.vnaDataflow
private final ValueNumberDataflow	FindUnreleasedLock.LockResourceTracker.vnaDataflow
private ValueNumberDataflow	NoiseNullDeref.vnaDataflow

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

Modifier and Type	Method	Description
private void	CheckTypeQualifiers.checkDataflow(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)
private void	FindSelfComparison2.checkForSelfOperation(ClassContext classContext, Location location, ValueNumberDataflow valueNumberDataflow, String op, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, String sourceFile)
private void	CheckTypeQualifiers.checkQualifier(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ForwardTypeQualifierDataflowFactory forwardDataflowFactory, BackwardTypeQualifierDataflowFactory backwardDataflowFactory, ValueNumberDataflow vnaDataflow)	Check a specific TypeQualifierValue on a method.
private void	CheckTypeQualifiers.checkValueSources(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)
void	FindNullDeref.foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
void	NoiseNullDeref.foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
private Set<ValueNumber>	FindSqlInjection.getPassthruParams(ValueNumberDataflow vnd, org.apache.bcel.classfile.Method method, org.apache.bcel.classfile.JavaClass javaClass)
private Location	FindSqlInjection.getValueNumberCreationLocation(ValueNumberDataflow vnd, ValueNumber vn)

Constructors in edu.umd.cs.findbugs.detect with parameters of type ValueNumberDataflow

Modifier	Constructor	Description
	LockFrameModelingVisitor(org.apache.bcel.generic.ConstantPoolGen cpg, FindUnreleasedLock.LockResourceTracker resourceTracker, Lock lock, ValueNumberDataflow vnaDataflow)
	LockResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback, CFG cfg, ValueNumberDataflow vnaDataflow, IsNullValueDataflow isNullDataflow)