|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Dataflow | |
---|---|
edu.umd.cs.findbugs | Main package for the FindBugs application - contains the engine class (FindBugs), the object model classes for bug instances (BugInstance, BugAnnotation), and other miscellany. |
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.ca | |
edu.umd.cs.findbugs.ba.constant | |
edu.umd.cs.findbugs.ba.heap | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.type | |
edu.umd.cs.findbugs.ba.vna | |
edu.umd.cs.findbugs.detect |
Uses of Dataflow in edu.umd.cs.findbugs |
---|
Methods in edu.umd.cs.findbugs with parameters of type Dataflow | |
---|---|
abstract void |
ResourceTrackingDetector.inspectResult(ClassContext classContext,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
Dataflow<ResourceValueFrame,ResourceValueAnalysis<Resource>> dataflow,
Resource resource)
|
Uses of Dataflow in edu.umd.cs.findbugs.ba |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba | |
---|---|
class |
AbstractDataflow<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>>
Convenience class for defining Dataflow classes which use an AbstractDataflowAnalysis subtype. |
class |
LiveLocalStoreDataflow
Dataflow class for LiveLocalStoreAnalysis. |
class |
LockDataflow
|
class |
ReturnPathDataflow
|
Methods in edu.umd.cs.findbugs.ba that return Dataflow | |
---|---|
abstract Dataflow<Fact,AnalysisType> |
DataflowTestDriver.createDataflow(ClassContext classContext,
org.apache.bcel.classfile.Method method)
Downcall method to create the dataflow driver object and execute the analysis. |
Dataflow<BlockType,BlockTypeAnalysis> |
ClassContext.getBlockTypeDataflow(org.apache.bcel.classfile.Method method)
Get BlockType dataflow for given method. |
Methods in edu.umd.cs.findbugs.ba with parameters of type Dataflow | |
---|---|
void |
DataflowTestDriver.examineResults(CFG cfg,
Dataflow<Fact,AnalysisType> dataflow)
Downcall method to inspect the analysis results. |
Constructors in edu.umd.cs.findbugs.ba with parameters of type Dataflow | |
---|---|
DataflowCFGPrinter(CFG cfg,
Dataflow<Fact,AnalysisType> dataflow,
AnalysisType analysis)
|
Uses of Dataflow in edu.umd.cs.findbugs.ba.ca |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.ca | |
---|---|
class |
CallListDataflow
|
Uses of Dataflow in edu.umd.cs.findbugs.ba.constant |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.constant | |
---|---|
class |
ConstantDataflow
Dataflow class for ConstantAnalysis. |
Uses of Dataflow in edu.umd.cs.findbugs.ba.heap |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.heap | |
---|---|
class |
LoadDataflow
|
class |
StoreDataflow
|
Uses of Dataflow in edu.umd.cs.findbugs.ba.npe |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.npe | |
---|---|
class |
IsNullValueDataflow
|
class |
UnconditionalDerefDataflow
Dataflow class for UnconditionalDerefAnalysis. |
Uses of Dataflow in edu.umd.cs.findbugs.ba.type |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.type | |
---|---|
class |
TypeDataflow
|
Uses of Dataflow in edu.umd.cs.findbugs.ba.vna |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.vna | |
---|---|
class |
ValueNumberDataflow
|
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type Dataflow | |
---|---|
void |
ValueNumberAnalysis.compactValueNumbers(Dataflow<ValueNumberFrame,ValueNumberAnalysis> dataflow)
Compact the value numbers assigned. |
Uses of Dataflow in edu.umd.cs.findbugs.detect |
---|
Methods in edu.umd.cs.findbugs.detect with parameters of type Dataflow | |
---|---|
void |
FindUnreleasedLock.inspectResult(ClassContext classContext,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
Dataflow<ResourceValueFrame,ResourceValueAnalysis<edu.umd.cs.findbugs.detect.Lock>> dataflow,
edu.umd.cs.findbugs.detect.Lock resource)
|
void |
FindOpenStream.inspectResult(ClassContext classContext,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
Dataflow<ResourceValueFrame,ResourceValueAnalysis<Stream>> dataflow,
Stream stream)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |