Uses of Class
soot.toolkits.scalar.BackwardFlowAnalysis

Packages that use BackwardFlowAnalysis

Package	Description
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

Modifier and Type	Class	Description
class	New2InitFlowAnalysis

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

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

Modifier and Type	Class	Description
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 definitely null, definitely non-null or neither.

Uses of BackwardFlowAnalysis in soot.jimple.toolkits.scalar

Subclasses of BackwardFlowAnalysis in soot.jimple.toolkits.scalar

Modifier and Type	Class	Description
class	CommonPrecedingEqualValueAnalysis

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

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

Modifier and Type	Class	Description
class	DownSafetyAnalysis	Performs an DownSafe-analysis on the given graph.
class	NotIsolatedAnalysis	Performs a Not-Isolated-analysis on the given graph, which is basically 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

Modifier and Type	Class	Description
class	LockableReferenceAnalysis	Finds the set of local variables and/or references that represent all of the relevant objects used in a synchronized region, as accessible at the start of that region.
class	StrayRWFinder

Uses of BackwardFlowAnalysis in soot.toolkits.graph

Subclasses of BackwardFlowAnalysis in soot.toolkits.graph

Modifier and Type	Class	Description
class	PostDominatorAnalysis	Deprecated. use MHGPostDominatorsFinder instead

Uses of BackwardFlowAnalysis in soot.toolkits.scalar

Subclasses of BackwardFlowAnalysis in soot.toolkits.scalar

Modifier and Type	Class	Description
class	CombinedDUAnalysis	Analysis that computes live locals, local defs, and local uses all at once.