|
FindBugs™ 1.3.9 | |||||||||
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.deref | |
edu.umd.cs.findbugs.ba.heap | |
edu.umd.cs.findbugs.ba.jsr305 | Support for analyzing code containing JSR-305 type qualifier annotations. |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.npe2 | This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. |
edu.umd.cs.findbugs.ba.obl | Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. |
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 BasicAbstractDataflowAnalysis<Fact>>
Convenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype. |
class |
BlockTypeDataflow
|
class |
LiveLocalStoreDataflow
Dataflow class for LiveLocalStoreAnalysis. |
class |
LockDataflow
Dataflow class for LockAnalysis. |
class |
ReturnPathDataflow
|
Methods in edu.umd.cs.findbugs.ba with parameters of type Dataflow | ||
---|---|---|
static
|
DataflowCFGPrinter.printCFG(Dataflow<Fact,AnalysisType> dataflow,
java.io.PrintStream out)
Print CFG annotated with results from given dataflow analysis. |
Constructors in edu.umd.cs.findbugs.ba with parameters of type Dataflow | |
---|---|
DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow)
Constructor. |
Uses of Dataflow in edu.umd.cs.findbugs.ba.ca |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.ca | |
---|---|
class |
CallListDataflow
Dataflow class for CallListAnalysis. |
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.deref |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.deref | |
---|---|
class |
UnconditionalValueDerefDataflow
Dataflow to find value numbers unconditionally dereferenced. |
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.jsr305 |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.jsr305 | |
---|---|
class |
BackwardTypeQualifierDataflow
Dataflow class for BackwardTypeQualifierDataflowAnalysis. |
class |
ForwardTypeQualifierDataflow
Dataflow object for ForwardTypeQualifierDataflowAnalysis. |
class |
TypeQualifierDataflow<AnalysisType extends TypeQualifierDataflowAnalysis>
Dataflow class for TypeQualifierDataflowAnalysis. |
Uses of Dataflow in edu.umd.cs.findbugs.ba.npe |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.npe | |
---|---|
class |
IsNullValueDataflow
|
class |
ReturnPathTypeDataflow
Dataflow class for ReturnPathTypeAnalysis. |
Uses of Dataflow in edu.umd.cs.findbugs.ba.npe2 |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.npe2 | |
---|---|
class |
DefinitelyNullSetDataflow
|
Uses of Dataflow in edu.umd.cs.findbugs.ba.obl |
---|
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.obl | |
---|---|
class |
ObligationDataflow
Dataflow class for ObligationAnalysis. |
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)
Deprecated. |
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)
|
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |