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 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) definetely null, definetely non-null or neither.

Uses of ForwardBranchedFlowAnalysis in soot.jimple.toolkits.pointer

Subclasses of ForwardBranchedFlowAnalysis in soot.jimple.toolkits.pointer

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