FindBugs™ 1.3.9

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)
           
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.