Uses of Class
soot.toolkits.scalar.ForwardBranchedFlowAnalysis

Packages that use ForwardBranchedFlowAnalysis

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

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

class

CastCheckEliminator A flow analysis that detects redundant cast checks.