Uses of Class
soot.toolkits.scalar.BranchedFlowAnalysis

Packages that use BranchedFlowAnalysis

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

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 BranchedFlowAnalysis in soot.jimple.toolkits.pointer

Subclasses of BranchedFlowAnalysis in soot.jimple.toolkits.pointer

class

CastCheckEliminator A flow analysis that detects redundant cast checks.

Uses of BranchedFlowAnalysis in soot.toolkits.scalar

Subclasses of BranchedFlowAnalysis in soot.toolkits.scalar

class

ForwardBranchedFlowAnalysis<A> Abstract class providing an engine for branched forward flow analysis.