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

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.