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

Packages that use AbstractDataflowAnalysis
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.heap   
edu.umd.cs.findbugs.ba.npe   
edu.umd.cs.findbugs.ba.obl   
edu.umd.cs.findbugs.ba.type   
edu.umd.cs.findbugs.ba.type2 A whizzy set of classes for representing Java types. 
edu.umd.cs.findbugs.ba.vna   
 

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba
 

Classes in edu.umd.cs.findbugs.ba with type parameters of type AbstractDataflowAnalysis
 class AbstractDataflow<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>>
          Convenience class for defining Dataflow classes which use an AbstractDataflowAnalysis subtype.
 class DataflowCFGPrinter<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>>
          CFGPrinter class which prints dataflow values at each basic block and instruction.
 class DataflowTestDriver<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>>
          A test driver for dataflow analysis classes.
 

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba
 class BackwardDataflowAnalysis<Fact>
          Abstract base class for backward dataflow analyses.
 class ForwardDataflowAnalysis<Fact>
          Abstract base class for forward dataflow analyses.
 class FrameDataflowAnalysis<ValueType,FrameType extends Frame<ValueType>>
          A convenient base class for dataflow analysis classes which use Frames as values.
 class LiveLocalStoreAnalysis
          Dataflow analysis to find live stores of locals.
 class LockAnalysis
          Analysis to determine where particular values are locked in a method.
 class ResourceValueAnalysis<Resource>
           
 class ReturnPathAnalysis
           
 class StackDepthAnalysis
          A really simple forward dataflow analysis to find the depth of the Java operand stack.
 

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.ca
 

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.ca
 class CallListAnalysis
           
 

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constant
 

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constant
 class ConstantAnalysis
          Dataflow analysis to find constant values.
 

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.heap
 

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.heap
 class FieldSetAnalysis
           
 class LoadAnalysis
           
 class StoreAnalysis
           
 

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npe
 

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npe
 class IsNullValueAnalysis
          A dataflow analysis to detect potential null pointer dereferences.
 class UnconditionalDerefAnalysis
          Dataflow analysis to look for parameters dereferenced unconditionally.
 class WillBeDereferencedAnalysis
          Dataflow analysis to look for parameters dereferenced unconditionally.
 

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.obl
 

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.obl
 class ObligationAnalysis
          Dataflow analysis to track obligations (i/o streams and other resources which must be closed).
 

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type
 

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type
 class TypeAnalysis
          A forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method.
 

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type2
 

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type2
 class BetterTypeAnalysis
           
 

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.vna
 

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.vna
 class ValueNumberAnalysis
          A dataflow analysis to track the production and flow of values in the Java stack frame.