Uses of Class
soot.toolkits.scalar.ForwardBranchedFlowAnalysis

Packages that use ForwardBranchedFlowAnalysis

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

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

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

Modifier and Type	Class	Description
class	BranchedRefVarsAnalysis	Deprecated. THIS IS KNOWN TO BE BUGGY.
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 ForwardBranchedFlowAnalysis in soot.jimple.toolkits.pointer

Subclasses of ForwardBranchedFlowAnalysis in soot.jimple.toolkits.pointer

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