|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
PhiExpr | A fully defined PhiExpr usually consists of a list of Values for the arguments alongst with the corresponding control flow predecessor for each argument. |
ShimpleExprSwitch | |
ShimpleValueSwitch |
Class Summary | |
AbstractShimpleExprSwitch | |
AbstractShimpleValueSwitch | |
Shimple | Contains the constructors for the components of the Shimple (SSA Jimple) grammar. |
ShimpleBody | Implementation of the Body class for the Shimple (SSA Jimple) IR. |
Public classes for the SSA Shimple intermediate representation.
Basic support for an SSA version of Jimple, dubbed Shimple. The idea is that Shimple can be treated almost identically to Jimple with the added benefit of SSA form.
The public API is described in soot.shimple.Shimple, soot.shimple.ShimpleBody and soot.shimple.PhiExpr.
Use/Definition and Definition/Use chains for Shimple can be obtained with soot.shimple.toolkits.scalar.ShimpleLocalDefs and soot.toolkits.scalar.SimpleLocalUses.
Available example analyses for Shimple currently include: soot.shimple.toolkits.scalar.{ShimpleLocalDefs,SEvaluator,SConstantPropagatorAndFolder}
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |