Shimple classes
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 ShimpleLocalDefs and ShimpleLocalUses in
soot.shimple.toolkits.scalar.
Available example analyses for Shimple currently include:
soot.shimple.toolkits.scalar.{ShimpleLocalDefs,SEvaluator,SConstantPropagatorAndFolder}
|