|
||||||||||
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.npe | |
edu.umd.cs.findbugs.ba.type |
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. |
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.npe |
---|
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberDataflow | |
---|---|
IsNullValueAnalysis(org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
ValueNumberDataflow vnaDataflow,
DepthFirstSearch dfs,
AssertionMethods assertionMethods)
|
|
UnconditionalDerefAnalysis(ReverseDepthFirstSearch rdfs,
CFG cfg,
org.apache.bcel.generic.MethodGen methodGen,
ValueNumberDataflow vnaDataflow,
TypeDataflow typeDataflow)
|
|
WillBeDereferencedAnalysis(ReverseDepthFirstSearch rdfs,
CFG cfg,
org.apache.bcel.generic.MethodGen methodGen,
ValueNumberDataflow vnaDataflow,
TypeDataflow typeDataflow)
|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |