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 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 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 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 ValueNumberDataflow
UnconditionalValueDerefAnalysis. vnaDataflow
Constructors in edu.umd.cs.findbugs.ba.deref with parameters of type ValueNumberDataflow 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 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 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.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 ValueNumberDataflow
IsNullValueAnalysis. vnaDataflow
private 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(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).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 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) 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 Constructor Description Context(org.apache.bcel.classfile.ConstantPool cp, org.apache.bcel.classfile.LocalVariableTable lvTable, java.util.Map<java.lang.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 ValueNumberDataflow
FindUnreleasedLock.LockFrameModelingVisitor. vnaDataflow
private 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, java.lang.String op, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, java.lang.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(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)
private java.util.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 Constructor Description LockFrameModelingVisitor(org.apache.bcel.generic.ConstantPoolGen cpg, FindUnreleasedLock.LockResourceTracker resourceTracker, Lock lock, ValueNumberDataflow vnaDataflow, IsNullValueDataflow isNullDataflow)
LockResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback, CFG cfg, ValueNumberDataflow vnaDataflow, IsNullValueDataflow isNullDataflow)
-