Uses of Class
soot.toolkits.scalar.BackwardFlowAnalysis

Packages that use BackwardFlowAnalysis

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.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.
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 BackwardFlowAnalysis in soot.jbco.jimpleTransformations

Subclasses of BackwardFlowAnalysis in soot.jbco.jimpleTransformations

class

New2InitFlowAnalysis

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

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

Subclasses of BackwardFlowAnalysis in soot.jimple.toolkits.scalar

class

CommonPrecedingEqualValueAnalysis

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

Subclasses of BackwardFlowAnalysis in soot.jimple.toolkits.scalar.pre

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

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

Subclasses of BackwardFlowAnalysis in soot.jimple.toolkits.thread.synchronization

class	LockableReferenceAnalysis
class	StrayRWFinder

Uses of BackwardFlowAnalysis in soot.toolkits.graph

Subclasses of BackwardFlowAnalysis in soot.toolkits.graph

class

PostDominatorAnalysis Deprecated. use MHGPostDominatorsFinder instead

Uses of BackwardFlowAnalysis in soot.toolkits.scalar

Subclasses of BackwardFlowAnalysis in soot.toolkits.scalar

class

CombinedDUAnalysis Analysis that computes live locals, local defs, and local uses all at once.