|
||||||||||
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 |