Uses of Class soot.toolkits.scalar.BranchedFlowAnalysis (Soot - a J*va Optimization Framework 4.6.0 API)

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

Subclasses of BranchedFlowAnalysis in soot.jimple.toolkits.pointer
Modifier and Type Class 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	Description
`class`	`ForwardBranchedFlowAnalysis<A>`	Abstract class providing an engine for branched forward flow analysis.