|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| 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
|
| 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
Abstract class providing an engine for branched forward flow analysis. |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||