Uses of Class
soot.jimple.JimpleBody

Packages that use JimpleBody

Package	Description
soot.coffi	Contains classes from the Coffi tool, by Clark Verbrugge.
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.toolkits.typing	Implements a typing algorithm for Jimple.
soot.jimple.toolkits.typing.fast
soot.jimple.toolkits.typing.integer

Uses of JimpleBody in soot.coffi

Methods in soot.coffi with parameters of type JimpleBody

Modifier and Type	Method and Description
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.jimple

Methods in soot.jimple that return JimpleBody

Modifier and Type	Method and Description
JimpleBody	Jimple.newBody() Returns an empty JimpleBody with no associated method.
JimpleBody	Jimple.newBody(SootMethod m) Returns an empty JimpleBody associated with method m.

Uses of JimpleBody in soot.jimple.toolkits.typing

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

Modifier and Type	Method and Description
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

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

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

Constructor and Description
AugEvalFunction(JimpleBody jb)
TypeResolver(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

Modifier and Type	Method and Description
static void	TypeResolver.resolve(JimpleBody stmtBody)