|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use BackwardFlowAnalysis | |
|---|---|
| soot.jbco.jimpleTransformations | |
| soot.jimple.toolkits.annotation.nullcheck | Classes that carry out an analysis to determine whether or not null pointer checks are necessary. |
| soot.jimple.toolkits.scalar | A toolkit for scalar optimization of Jimple. |
| soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
| soot.jimple.toolkits.thread.synchronization | |
| soot.toolkits.graph | Toolkit to produce and manipulate various types of control flow graphs. |
| soot.toolkits.scalar | A number of scalar optimizations, and the flow analysis framework. |
| Uses of BackwardFlowAnalysis in soot.jbco.jimpleTransformations |
|---|
| Subclasses of BackwardFlowAnalysis in soot.jbco.jimpleTransformations | |
|---|---|
class |
New2InitFlowAnalysis
|
| Uses of BackwardFlowAnalysis in soot.jimple.toolkits.annotation.nullcheck |
|---|
| Subclasses of BackwardFlowAnalysis in soot.jimple.toolkits.annotation.nullcheck | |
|---|---|
class |
NullnessAssumptionAnalysis
An intraprocedural nullness assumption analysis that computes for each location and each value in a method if the value (before or after that location) is treated as definetely null, definetely non-null or neither. |
| Uses of BackwardFlowAnalysis in soot.jimple.toolkits.scalar |
|---|
| Subclasses of BackwardFlowAnalysis in soot.jimple.toolkits.scalar | |
|---|---|
class |
CommonPrecedingEqualValueAnalysis
|
| Uses of BackwardFlowAnalysis in soot.jimple.toolkits.scalar.pre |
|---|
| Subclasses of BackwardFlowAnalysis in soot.jimple.toolkits.scalar.pre | |
|---|---|
class |
DownSafetyAnalysis
Performs an DownSafe-analysis on the given graph. |
class |
NotIsolatedAnalysis
Performs a Not-Isolated-analysis on the given graph, which is basicly the same as an Isolated-analysis (we just return the complement, as it's easier to calculate it). |
| Uses of BackwardFlowAnalysis in soot.jimple.toolkits.thread.synchronization |
|---|
| Subclasses of BackwardFlowAnalysis in soot.jimple.toolkits.thread.synchronization | |
|---|---|
class |
LockableReferenceAnalysis
|
class |
StrayRWFinder
|
| Uses of BackwardFlowAnalysis in soot.toolkits.graph |
|---|
| Subclasses of BackwardFlowAnalysis in soot.toolkits.graph | |
|---|---|
class |
PostDominatorAnalysis
Deprecated. use MHGPostDominatorsFinder instead |
| Uses of BackwardFlowAnalysis in soot.toolkits.scalar |
|---|
| Subclasses of BackwardFlowAnalysis in soot.toolkits.scalar | |
|---|---|
class |
CombinedDUAnalysis
Analysis that computes live locals, local defs, and local uses all at once. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||