Uses of Class
soot.jimple.JimpleBody

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.parser	An interface to the Jimple parser.
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.fast
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, soot.coffi.BootstrapMethods_attribute bootstrap_methods_attribute, JimpleBody listBody) Main.v() entry point for converting list of Instructions to Jimple statements; performs flow analysis, constructs Jimple statements, and fixes jumps.
boolean	CFG.jimplify(soot.coffi.cp_info[] constant_pool, int this_class, soot.coffi.BootstrapMethods_attribute bootstrap_methods_attribute, 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
protected JimpleBody	AbstractJimpleBodyBuilder.body

Methods in soot.javaToJimple that return JimpleBody

JimpleBody	AnonInitBodyBuilder.createBody(SootMethod sootMethod)
JimpleBody	AnonInitBodyBuilder.createBody(SootMethod sootMethod)
protected JimpleBody	AbstractJimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block, List formals, SootMethod sootMethod)
JimpleBody	JimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block, List formals, SootMethod sootMethod) Jimple Body Creation
JimpleBody	JimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block, List formals, SootMethod sootMethod) Jimple Body Creation
protected JimpleBody	AbstractJimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block, List formals, SootMethod sootMethod)

Uses of JimpleBody in soot.jimple

Methods in soot.jimple that return JimpleBody

JimpleBody	Jimple.newBody() Returns an empty JimpleBody with no associated method.
JimpleBody	Jimple.newBody() Returns an empty JimpleBody with no associated method.
JimpleBody	Jimple.newBody(SootMethod m) Returns an empty JimpleBody associated with method m.
JimpleBody	Jimple.newBody(SootMethod m) Returns an empty JimpleBody associated with method m.

Uses of JimpleBody in soot.jimple.parser

Constructor parameters in soot.jimple.parser with type arguments of type JimpleBody

BodyExtractorWalker(SootClass sc, SootResolver resolver, Map<SootMethod,JimpleBody> methodToParsedBodyMap)
Constructs a walker, and attaches it to the given SootClass, sending bodies to the given methodToParsedBodyMap.

BodyExtractorWalker(SootClass sc, SootResolver resolver, Map<SootMethod,JimpleBody> methodToParsedBodyMap)
Constructs a walker, and attaches it to the given SootClass, sending bodies to the given methodToParsedBodyMap.

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.
Local	SynchronizerManager.addStmtsToFetchClassBefore(JimpleBody jb, Stmt target) Adds code to fetch the static Class object to the given JimpleBody before the target Stmt.
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.""(); throw r928; Creates if necessary.
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.""(); throw r928; Creates if necessary.
void	SynchronizerManager.synchronizeStmtOn(Stmt stmt, JimpleBody b, Local lock) Wraps stmt around a monitor associated with local lock.
void	SynchronizerManager.synchronizeStmtOn(Stmt stmt, JimpleBody b, Local lock) Wraps stmt around a monitor associated with local lock.

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) Deprecated.
static void	TypeResolverBV.resolve(JimpleBody stmtBody, Scene scene) Deprecated.
static void	TypeResolver.resolve(JimpleBody stmtBody, Scene scene)

Uses of JimpleBody in soot.jimple.toolkits.typing.fast

Methods in soot.jimple.toolkits.typing.fast with parameters of type JimpleBody

static Type	AugEvalFunction.eval_(Typing tg, Value expr, Stmt stmt, JimpleBody jb)
static Type	AugEvalFunction.eval_(Typing tg, Value expr, Stmt stmt, JimpleBody jb)

Constructors in soot.jimple.toolkits.typing.fast with parameters of type JimpleBody

AugEvalFunction(JimpleBody jb)

AugEvalFunction(JimpleBody jb)

TypeResolver(JimpleBody jb)

TypeResolver(JimpleBody jb)

UseChecker(JimpleBody jb)

UseChecker(JimpleBody jb)

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)
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	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.
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.
abstract Body	CFGIntermediateRep.getBody(JimpleBody b) Converts a JimpleBody into the corresponding Body in this intermediate representation.