Uses of Class
soot.toolkits.scalar.FlowAnalysis

Packages that use FlowAnalysis
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 FlowAnalysis in soot.jbco.jimpleTransformations
 

Subclasses of FlowAnalysis in soot.jbco.jimpleTransformations
 class New2InitFlowAnalysis
           
 

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

Subclasses of FlowAnalysis in soot.jimple.toolkits.annotation.nullcheck
 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 FlowAnalysis in soot.jimple.toolkits.annotation.parity
 

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

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

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

Uses of FlowAnalysis in soot.jimple.toolkits.callgraph
 

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

Uses of FlowAnalysis in soot.jimple.toolkits.infoflow
 

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

Uses of FlowAnalysis in soot.jimple.toolkits.pointer
 

Subclasses of FlowAnalysis in soot.jimple.toolkits.pointer
 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 FlowAnalysis in soot.jimple.toolkits.scalar
 

Subclasses of FlowAnalysis 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 FlowAnalysis in soot.jimple.toolkits.scalar.pre
 

Subclasses of FlowAnalysis 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 FlowAnalysis in soot.jimple.toolkits.thread.mhp
 

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

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

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

Uses of FlowAnalysis in soot.jimple.toolkits.thread.synchronization
 

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

Uses of FlowAnalysis in soot.toolkits.graph
 

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

Uses of FlowAnalysis in soot.toolkits.scalar
 

Subclasses of FlowAnalysis in soot.toolkits.scalar
 class BackwardFlowAnalysis<N,A>
          Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
 class CombinedDUAnalysis
          Analysis that computes live locals, local defs, and local uses all at once.
 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.