|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use JimpleBody | |
soot.coffi | Contains classes from the Coffi tool, by Clark Verbrugge. |
soot.javaToJimple | |
soot.jimple | Public classes for the Jimple intermediate representation. |
soot.jimple.toolkits.invoke | A toolkit to deal with Jimple and invoke statements. |
soot.jimple.toolkits.typing | Implements a typing algorithm for Jimple. |
soot.jimple.toolkits.typing.integer | |
soot.shimple | Public classes for the SSA Shimple intermediate representation. |
soot.util.cfgcmd |
Uses of JimpleBody in soot.coffi |
Methods in soot.coffi with parameters of type JimpleBody | |
boolean |
CFG.jimplify(soot.coffi.cp_info[] constant_pool,
int this_class,
JimpleBody listBody)
Main.v() entry point for converting list of Instructions to Jimple statements; performs flow analysis, constructs Jimple statements, and fixes jumps. |
Uses of JimpleBody in soot.javaToJimple |
Fields in soot.javaToJimple declared as JimpleBody | |
protected JimpleBody |
AbstractJimpleBodyBuilder.body
|
Methods in soot.javaToJimple that return JimpleBody | |
protected JimpleBody |
AbstractJimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block,
List formals,
SootMethod sootMethod)
|
JimpleBody |
AnonInitBodyBuilder.createBody(SootMethod sootMethod)
|
JimpleBody |
JimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block,
List formals,
SootMethod sootMethod)
Jimple Body Creation |
Uses of JimpleBody in soot.jimple |
Methods in soot.jimple that return JimpleBody | |
JimpleBody |
Jimple.newBody(SootMethod m)
Returns an empty JimpleBody associated with method m. |
JimpleBody |
Jimple.newBody()
Returns an empty JimpleBody with no associated method. |
Uses of JimpleBody in soot.jimple.toolkits.invoke |
Methods in soot.jimple.toolkits.invoke with parameters of type JimpleBody | |
Local |
SynchronizerManager.addStmtsToFetchClassBefore(JimpleBody jb,
Stmt target)
Adds code to fetch the static Class object to the given JimpleBody before the target Stmt. |
void |
SynchronizerManager.synchronizeStmtOn(Stmt stmt,
JimpleBody b,
Local lock)
Wraps stmt around a monitor associated with local lock. |
static Stmt |
ThrowManager.getNullPointerExceptionThrower(JimpleBody b)
Iterate through the statements in b (starting at the end), returning the last instance of the following pattern: r928 = new java.lang.NullPointerException; specialinvoke r928." |
Uses of JimpleBody in soot.jimple.toolkits.typing |
Methods in soot.jimple.toolkits.typing with parameters of type JimpleBody | |
static void |
TypeResolver.resolve(JimpleBody stmtBody,
Scene scene)
|
static void |
TypeResolverBV.resolve(JimpleBody stmtBody,
Scene scene)
|
Uses of JimpleBody in soot.jimple.toolkits.typing.integer |
Methods in soot.jimple.toolkits.typing.integer with parameters of type JimpleBody | |
static void |
TypeResolver.resolve(JimpleBody stmtBody)
|
Uses of JimpleBody in soot.shimple |
Methods in soot.shimple that return JimpleBody | |
JimpleBody |
Shimple.newJimpleBody(ShimpleBody body)
Constructs a JimpleBody from a ShimpleBody. |
JimpleBody |
ShimpleBody.toJimpleBody()
Returns an equivalent unbacked JimpleBody of the current Body by eliminating the Phi nodes. |
Uses of JimpleBody in soot.util.cfgcmd |
Methods in soot.util.cfgcmd with parameters of type JimpleBody | |
abstract Body |
CFGIntermediateRep.getBody(JimpleBody b)
Converts a JimpleBody into the
corresponding Body in this intermediate
representation. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |