Uses of Class
edu.umd.cs.findbugs.ba.Dataflow
Packages that use Dataflow
Package
Description
Main package for the FindBugs application - contains the engine class
(
FindBugs
), the object model classes for bug
instances (BugInstance
,
BugAnnotation
), and other miscellany.A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
Support for analyzing code containing JSR-305 type qualifier annotations.
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
-
Uses of Dataflow in edu.umd.cs.findbugs
Methods in edu.umd.cs.findbugs with parameters of type DataflowModifier and TypeMethodDescriptionabstract 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.baModifier and TypeClassDescriptionclass
AbstractDataflow<Fact,
AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> Convenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.class
class
Dataflow class for LiveLocalStoreAnalysis.class
Dataflow class for LockAnalysis.class
Fields in edu.umd.cs.findbugs.ba declared as DataflowModifier and TypeFieldDescriptionprivate final Dataflow
<Fact, AnalysisType> DataflowCFGPrinter.dataflow
Methods in edu.umd.cs.findbugs.ba with parameters of type DataflowModifier and TypeMethodDescriptionstatic <Fact,
AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
voidDataflowCFGPrinter.printCFG
(Dataflow<Fact, AnalysisType> dataflow, PrintStream out) Print CFG annotated with results from given dataflow analysis.Constructors in edu.umd.cs.findbugs.ba with parameters of type DataflowModifierConstructorDescriptionDataflowCFGPrinter
(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 -
Uses of Dataflow in edu.umd.cs.findbugs.ba.constant
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.constant -
Uses of Dataflow in edu.umd.cs.findbugs.ba.deref
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.derefModifier and TypeClassDescriptionclass
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 -
Uses of Dataflow in edu.umd.cs.findbugs.ba.jsr305
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.jsr305Modifier and TypeClassDescriptionclass
Dataflow class for BackwardTypeQualifierDataflowAnalysis.class
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.npeModifier and TypeClassDescriptionclass
class
Dataflow class for ReturnPathTypeAnalysis. -
Uses of Dataflow in edu.umd.cs.findbugs.ba.obl
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.obl -
Uses of Dataflow in edu.umd.cs.findbugs.ba.type
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.type -
Uses of Dataflow in edu.umd.cs.findbugs.ba.vna
Subclasses of Dataflow in edu.umd.cs.findbugs.ba.vnaMethods in edu.umd.cs.findbugs.ba.vna with parameters of type DataflowModifier and TypeMethodDescriptionvoid
ValueNumberAnalysis.compactValueNumbers
(Dataflow<ValueNumberFrame, ValueNumberAnalysis> dataflow) Deprecated. -
Uses of Dataflow in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect with type parameters of type DataflowModifier and TypeFieldDescriptionprivate Class
<? extends Dataflow<Fact, AnalysisType>> TestDataflowAnalysis.dataflowClass
Methods in edu.umd.cs.findbugs.detect that return types with arguments of type DataflowModifier and TypeMethodDescriptionprivate Class
<? extends Dataflow<Fact, AnalysisType>> TestDataflowAnalysis.asDataflowClass
(Class<?> c) Methods in edu.umd.cs.findbugs.detect with parameters of type DataflowModifier and TypeMethodDescriptionvoid
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<Lock>> dataflow, Lock resource)