|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ValueNumberDataflow | |
---|---|
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.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.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 |
---|
Methods in edu.umd.cs.findbugs.ba that return ValueNumberDataflow | |
---|---|
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 | |
---|---|
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 | |
---|---|
LockAnalysis(org.apache.bcel.generic.MethodGen methodGen,
ValueNumberDataflow vnaDataflow,
DepthFirstSearch dfs)
|
Uses of ValueNumberDataflow in edu.umd.cs.findbugs.ba.deref |
---|
Constructors in edu.umd.cs.findbugs.ba.deref with parameters of type ValueNumberDataflow | |
---|---|
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 | |
---|---|
protected ValueNumberDataflow |
TypeQualifierDataflowAnalysis.vnaDataflow
|
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumberDataflow | |
---|---|
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 methodDescriptor,
TypeQualifierValue typeQualifierValue)
|
protected void |
BackwardTypeQualifierDataflowFactory.populateDatabase(BackwardTypeQualifierDataflow dataflow,
ValueNumberDataflow vnaDataflow,
XMethod xmethod,
TypeQualifierValue tqv)
|
protected abstract void |
TypeQualifierDataflowFactory.populateDatabase(DataflowType dataflow,
ValueNumberDataflow vnaDataflow,
XMethod xmethod,
TypeQualifierValue tqv)
|
protected void |
ForwardTypeQualifierDataflowFactory.populateDatabase(ForwardTypeQualifierDataflow dataflow,
ValueNumberDataflow vnaDataflow,
XMethod xmethod,
TypeQualifierValue tqv)
|
Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumberDataflow | |
---|---|
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 |
---|
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberDataflow | |
---|---|
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 | |
---|---|
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.npe2 |
---|
Constructors in edu.umd.cs.findbugs.ba.npe2 with parameters of type ValueNumberDataflow | |
---|---|
DefinitelyNullSetAnalysis(DepthFirstSearch dfs,
ValueNumberDataflow vnaDataflow,
CompactLocationNumbering compactLocationNumbering)
Constructor. |
Uses of ValueNumberDataflow in edu.umd.cs.findbugs.ba.type |
---|
Methods in edu.umd.cs.findbugs.ba.type with parameters of type ValueNumberDataflow | |
---|---|
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 |
---|
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return ValueNumberDataflow | |
---|---|
ValueNumberDataflow |
ValueNumberDataflowFactory.analyze(IAnalysisCache analysisCache,
MethodDescriptor descriptor)
|
protected ValueNumberDataflow |
AnalysisFactory.getValueNumberDataflow(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
|
Uses of ValueNumberDataflow in edu.umd.cs.findbugs.detect |
---|
Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumberDataflow | |
---|---|
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)
|
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |