Uses of Interface
edu.umd.cs.findbugs.ba.DataflowAnalysis

Packages that use DataflowAnalysis
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 DataflowAnalysis in edu.umd.cs.findbugs.ba
 

Classes in edu.umd.cs.findbugs.ba with type parameters of type DataflowAnalysis
 class Dataflow<Fact,AnalysisType extends DataflowAnalysis<Fact>>
          Perform dataflow analysis on a method using a control flow graph.
 

Classes in edu.umd.cs.findbugs.ba that implement DataflowAnalysis
 class AbstractDataflowAnalysis<Fact>
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations.
 class AbstractDominatorsAnalysis
          A dataflow analysis to compute dominator relationships between basic blocks.
 class BackwardDataflowAnalysis<Fact>
          Abstract base class for backward dataflow analyses.
 class BlockTypeAnalysis
          Dataflow analysis to determine the nesting of catch and finally blocks within a method.
 class DominatorsAnalysis
          Dataflow analysis to compute dominator sets for a CFG.
 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 PostDominatorsAnalysis
          Dataflow analysis to compute postdominator sets for a CFG.
 class ResourceValueAnalysis<Resource>
           
 class ReturnPathAnalysis
           
 class StackDepthAnalysis
          A really simple forward dataflow analysis to find the depth of the Java operand stack.
 

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

Classes in edu.umd.cs.findbugs.ba.ca that implement DataflowAnalysis
 class CallListAnalysis
           
 

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

Classes in edu.umd.cs.findbugs.ba.constant that implement DataflowAnalysis
 class ConstantAnalysis
          Dataflow analysis to find constant values.
 

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

Classes in edu.umd.cs.findbugs.ba.heap that implement DataflowAnalysis
 class FieldSetAnalysis
           
 class LoadAnalysis
           
 class StoreAnalysis
           
 

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

Classes in edu.umd.cs.findbugs.ba.npe that implement DataflowAnalysis
 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 DataflowAnalysis in edu.umd.cs.findbugs.ba.obl
 

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

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

Classes in edu.umd.cs.findbugs.ba.type that implement DataflowAnalysis
 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 DataflowAnalysis in edu.umd.cs.findbugs.ba.type2
 

Classes in edu.umd.cs.findbugs.ba.type2 that implement DataflowAnalysis
 class BetterTypeAnalysis
           
 

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

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