Uses of Class
soot.toolkits.scalar.AbstractFlowAnalysis

Packages that use AbstractFlowAnalysis
soot.jimple.toolkits.annotation.nullcheck Classes that carry out an analysis to determine whether or not null pointer checks are necessary. 
soot.jimple.toolkits.annotation.parity   
soot.jimple.toolkits.annotation.purity   
soot.jimple.toolkits.callgraph   
soot.jimple.toolkits.pointer   
soot.jimple.toolkits.scalar A toolkit for scalar optimization of Jimple. 
soot.jimple.toolkits.scalar.pre Particial redundency elimination. 
soot.toolkits.graph Toolkit to produce and manipulate various types of control flow graphs. 
soot.toolkits.scalar A number of scalar optimizations, and the flow analysis framework. 
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.nullcheck
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.nullcheck
 class BranchedRefVarsAnalysis
           
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.parity
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.parity
 class ParityAnalysis
           
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.purity
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.purity
 class PurityIntraproceduralAnalysis
          Intra-procedural purity-graph analysis.
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.callgraph
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.callgraph
 class ClinitElimAnalysis
           
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.pointer
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.pointer
 class CastCheckEliminator
          A flow analysis that detects redundant cast checks.
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar
 class FastAvailableExpressionsAnalysis
          Implements an available expressions analysis on local variables.
 class PessimisticAvailableExpressionsAnalysis
          Implements an available expressions analysis on local variables.
 class SlowAvailableExpressionsAnalysis
          Implements an available expressions analysis on local variables.
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar.pre
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar.pre
 class DelayabilityAnalysis
          Performs a Delayability-analysis on the given graph.
 class DownSafetyAnalysis
          Performs an DownSafe-analysis on the given graph.
 class NotIsolatedAnalysis
          Performs a Not-Isolated-analysis on the given graph, which is basicly the same as an Isolated-analysis (we just return the complement, as it's easier to calculate it).
 class UpSafetyAnalysis
          Performs an UpSafe-analysis on the given graph.
 

Uses of AbstractFlowAnalysis in soot.toolkits.graph
 

Subclasses of AbstractFlowAnalysis in soot.toolkits.graph
 class DominatorAnalysis
           
 

Uses of AbstractFlowAnalysis in soot.toolkits.scalar
 

Subclasses of AbstractFlowAnalysis in soot.toolkits.scalar
 class BackwardFlowAnalysis
          Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
 class BranchedFlowAnalysis
          Abstract class providing functionality for branched flow analysis.
 class CombinedDUAnalysis
          Analysis that computes live locals, local defs, and local uses all at once.
 class FlowAnalysis
          An abstract class providing a framework for carrying out dataflow analysis.
 class ForwardBranchedFlowAnalysis
          Abstract class providing an engine for branched forward flow analysis.
 class ForwardFlowAnalysis
          Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.
 class InitAnalysis
          An analysis to check whether or not local variables have been initialised.