|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
See:
Description
| Class Summary | |
| 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. |
Some analyses based on Shimple.
|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||