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.synchronization   
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.
 class LocalMustAliasAnalysis
          LocalMustAliasAnalysis attempts to determine if two local variables (at two potentially different program points) must point to the same object.
 class LocalMustNotAliasAnalysis
          LocalNotMayAliasAnalysis attempts to determine if two local variables (at two potentially different program points) definitely point to different objects.
 class StrongLocalMustAliasAnalysis
          A special version of the local must-alias analysis that takes redefinitions within loops into account.
 

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar
 class CommonPrecedingEqualValueAnalysis
           
 class EqualLocalsAnalysis
           
 class EqualUsesAnalysis
          Deprecated. This class is buggy. Please use soot.jimple.toolkits.pointer.LocalMustAliasAnalysis instead.
 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.synchronization
 

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.thread.synchronization
 class LockableReferenceAnalysis
           
 class StrayRWFinder
           
 class SynchronizedRegionFinder
           
 

Uses of AbstractFlowAnalysis in soot.toolkits.graph
 

Subclasses of AbstractFlowAnalysis in soot.toolkits.graph
 class DominatorAnalysis
          Deprecated. use MHGDominatorsFinder instead
 class PostDominatorAnalysis
          Deprecated. use MHGPostDominatorsFinder instead
 

Uses of AbstractFlowAnalysis in soot.toolkits.scalar
 

Subclasses of AbstractFlowAnalysis in soot.toolkits.scalar
 class BackwardFlowAnalysis<N,A>
          Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
 class BranchedFlowAnalysis<N extends Unit,A>
          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<N,A>
          An abstract class providing a framework for carrying out dataflow analysis.
 class ForwardBranchedFlowAnalysis<A>
          Abstract class providing an engine for branched forward flow analysis.
 class ForwardFlowAnalysis<N,A>
          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.