Uses of Class
soot.toolkits.scalar.BranchedFlowAnalysis

Packages that use BranchedFlowAnalysis

Package	Description
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.pointer
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

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

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

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

Uses of BranchedFlowAnalysis in soot.jimple.toolkits.pointer

Subclasses of BranchedFlowAnalysis in soot.jimple.toolkits.pointer

Modifier and Type	Class and Description
class	CastCheckEliminator A flow analysis that detects redundant cast checks.

Uses of BranchedFlowAnalysis in soot.toolkits.scalar

Subclasses of BranchedFlowAnalysis in soot.toolkits.scalar

Modifier and Type	Class and Description
class	ForwardBranchedFlowAnalysis<A> Abstract class providing an engine for branched forward flow analysis.