|
FindBugs™ 1.3.4 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IsNullValueDataflow | |
---|---|
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.classfile.engine.bcel | Support for analyses based on the BCEL bytecode framework. |
Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba |
---|
Methods in edu.umd.cs.findbugs.ba that return IsNullValueDataflow | |
---|---|
IsNullValueDataflow |
ClassContext.getIsNullValueDataflow(org.apache.bcel.classfile.Method method)
Get an IsNullValueDataflow for given method. |
Methods in edu.umd.cs.findbugs.ba with parameters of type IsNullValueDataflow | |
---|---|
static void |
ClassContext.dumpDataflowInformation(org.apache.bcel.classfile.Method method,
CFG cfg,
ValueNumberDataflow vnd,
IsNullValueDataflow inv,
UnconditionalValueDerefDataflow dataflow,
TypeDataflow typeDataflow)
|
Uses of IsNullValueDataflow in edu.umd.cs.findbugs.ba.deref |
---|
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type IsNullValueDataflow | |
---|---|
void |
UnconditionalValueDerefAnalysis.clearDerefsOnNonNullBranches(IsNullValueDataflow invDataflow)
HACK: use the given is-null dataflow to clear deref sets for values that are known to be definitely non-null on a branch. |
Uses of IsNullValueDataflow in edu.umd.cs.findbugs.classfile.engine.bcel |
---|
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return IsNullValueDataflow | |
---|---|
IsNullValueDataflow |
IsNullValueDataflowFactory.analyze(IAnalysisCache analysisCache,
MethodDescriptor descriptor)
|
protected IsNullValueDataflow |
AnalysisFactory.getIsNullValueDataflow(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
|
|
FindBugs™ 1.3.4 | |||||||||
PREV NEXT | FRAMES NO FRAMES |