|
||||||||||
| 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 | |||||||||