| Class | Description |
|---|---|
| SConstantPropagatorAndFolder |
A powerful constant propagator and folder based on an algorithm
sketched by Cytron et al that takes conditional control flow into
account.
|
| SEvaluator |
Extension of soot.jimple.toolkits.scalar.Evaluator to handle Phi
expressions.
|
| SEvaluator.BottomConstant |
Bottom i.e.
|
| SEvaluator.MetaConstant |
Head of a new hierarchy of constants -- Top and Bottom.
|
| SEvaluator.TopConstant |
Top i.e.
|
| ShimpleLocalDefs |
This class implements the LocalDefs interface for Shimple.
|
| ShimpleLocalUses |
This class implements the LocalUses interface for Shimple.
|