Uses of Class
edu.umd.cs.findbugs.ba.Dataflow
-
Packages that use Dataflow Package Description 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.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 Modifier and Type Method Description 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 Modifier and Type Class Description 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 Modifier and Type Method Description static <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
voidDataflowCFGPrinter. 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 Constructor Description 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 Modifier and Type Class Description 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 Modifier and Type Class Description 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 Modifier and Type Class Description 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 Modifier and Type Class Description class
LoadDataflow
class
StoreDataflow
-
Uses of Dataflow in edu.umd.cs.findbugs.ba.jsr305
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.jsr305 Modifier and Type Class Description 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 Modifier and Type Class Description class
IsNullValueDataflow
class
ReturnPathTypeDataflow
Dataflow class for ReturnPathTypeAnalysis. -
Uses of Dataflow in edu.umd.cs.findbugs.ba.obl
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.obl Modifier and Type Class Description 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 Modifier and Type Class Description class
TypeDataflow
-
Uses of Dataflow in edu.umd.cs.findbugs.ba.vna
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.vna Modifier and Type Class Description class
ValueNumberDataflow
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type Dataflow Modifier and Type Method Description 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 Modifier and Type Method Description void
FindOpenStream. inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame,ResourceValueAnalysis<Stream>> dataflow, Stream stream)
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)
-