Uses of Class
edu.umd.cs.findbugs.ba.Dataflow

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 <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> void

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)