| soot.shimple.toolkits.scalar |
| Shimple classes
Some analyses based on Shimple.
|
| Java Source File Name | Type | Comment |
| SConstantPropagatorAndFolder.java | Class | A powerful constant propagator and folder based on an algorithm
sketched by Cytron et al that takes conditional control flow into
account. |
| SEvaluator.java | Class | Extension of soot.jimple.toolkits.scalar.Evaluator to handle Phi
expressions. |
| ShimpleLocalDefs.java | Class | This class implements the LocalDefs interface for Shimple.
ShimpleLocalDefs can be used in conjunction with SimpleLocalUses to
provide Definition/Use and Use/Definition chains in SSA.
This implementation can be considered a small demo for how SSA
can be put to good use since it is much simpler than
soot.toolkits.scalar.SimpleLocalDefs. |
| ShimpleLocalUses.java | Class | This class implements the LocalUses interface for Shimple.
ShimpleLocalUses can be used in conjunction with SimpleLocalDefs to
provide Definition/Use and Use/Definition chains in SSA.
In addition to the interface required by LocalUses,
ShimpleLocalUses also provides a method for obtaining the list of
uses given only the Local. |