Uses of Class
soot.toolkits.scalar.AbstractFlowAnalysis

Packages that use AbstractFlowAnalysis
soot.jbco.jimpleTransformations   
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.infoflow   
soot.jimple.toolkits.pointer   
soot.jimple.toolkits.scalar A toolkit for scalar optimization of Jimple. 
soot.jimple.toolkits.scalar.pre Particial redundency elimination. 
soot.jimple.toolkits.thread.mhp   
soot.jimple.toolkits.thread.mhp.findobject   
soot.jimple.toolkits.thread.transaction   
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.jbco.jimpleTransformations
 

Subclasses of AbstractFlowAnalysis in soot.jbco.jimpleTransformations
 class New2InitFlowAnalysis
           
 

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

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.nullcheck
 class BranchedRefVarsAnalysis
          Deprecated. THIS IS KNOWN TO BE BUGGY. USE NullnessAnalysis INSTEAD!
 class NullnessAnalysis
          An intraprocedural nullness analysis that computes for each location and each value in a method if the value is (before or after that location) definetely null, definetely non-null or neither.
 class NullnessAssumptionAnalysis
          An intraprocedural nullness assumption analysis that computes for each location and each value in a method if the value (before or after that location) is treated as definetely null, definetely non-null or neither.
 

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.infoflow
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.infoflow
 class SimpleMethodInfoFlowAnalysis
           
 class SimpleMethodLocalObjectsAnalysis
           
 

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 CommonPrecedingEqualValueAnalysis
           
 class EqualLocalsAnalysis
           
 class EqualUsesAnalysis
           
 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.jimple.toolkits.thread.mhp
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.thread.mhp
 class MonitorAnalysis
           
 class StartJoinAnalysis
           
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.thread.mhp.findobject
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.thread.mhp.findobject
 class MultiRunStatementsFinder
           
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.thread.transaction
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.thread.transaction
 class LocksetAnalysis
           
 class TransactionAnalysis
           
 class TransactionExternalRWAnalysis
           
 

Uses of AbstractFlowAnalysis in soot.toolkits.graph
 

Subclasses of AbstractFlowAnalysis in soot.toolkits.graph
 class DominatorAnalysis
           
 class PostDominatorAnalysis
           
 

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.