| soot.jimple.toolkits.scalar |
|
Jimple scalar toolkit
A toolkit for scalar optimization of Jimple.
Includes a number of simple optimizations:
ConditionalBranchFolder, ConstantPropagatorAndFolder, CopyPropagator,
DeadAssignmentEliminator, Evaluator, LocalNameStandardizer, NopEliminator,
UnconditionalBranchFolder, UnreachableCodeEliminator.
|
| Java Source File Name | Type | Comment |
| AvailableExpressions.java | Interface | Provides an user-interface for the AvailableExpressionsAnalysis class.
Returns, for each statement, the list of expressions available before and after it. |
| CommonPrecedingEqualValueAnalysis.java | Class | |
| CommonSubexpressionEliminator.java | Class | Runs an available expressions analysis on a body, then
eliminates common subexpressions.
This implementation is especially slow, as it does not
run on basic blocks. |
| ConditionalBranchFolder.java | Class | |
| ConstantPropagatorAndFolder.java | Class | Does constant propagation and folding. |
| CopyPropagator.java | Class | |
| DeadAssignmentEliminator.java | Class | |
| EqualLocalsAnalysis.java | Class | |
| EqualUsesAnalysis.java | Class | |
| Evaluator.java | Class | |
| FastAvailableExpressions.java | Class | Provides an user-interface for the AvailableExpressionsAnalysis class.
Returns, for each statement, the list of expressions available before and after it. |
| FastAvailableExpressionsAnalysis.java | Class | Implements an available expressions analysis on local variables. |
| LocalCreation.java | Class | provides an easy interface to handle new var-names. |
| LocalNameStandardizer.java | Class | |
| NopEliminator.java | Class | |
| PessimisticAvailableExpressionsAnalysis.java | Class | Implements an available expressions analysis on local variables. |
| SlowAvailableExpressions.java | Class | Provides an user-interface for the AvailableExpressionsAnalysis class.
Returns, for each statement, the list of expressions available before and after it. |
| SlowAvailableExpressionsAnalysis.java | Class | Implements an available expressions analysis on local variables. |
| ToppedSet.java | Class | Represents information for flow analysis, adding a top element to a lattice. |
| UnconditionalBranchFolder.java | Class | |
| UnreachableCodeEliminator.java | Class | |