Uses of Class
soot.shimple.ShimpleBody

Packages that use ShimpleBody

Package	Description
soot.jimple.toolkits.invoke	A toolkit to deal with Jimple and invoke statements.
soot.shimple	Public classes for the SSA Shimple intermediate representation.
soot.shimple.internal	Shimple internal messy stuff.
soot.shimple.toolkits.scalar	Some analyses based on Shimple.

Uses of ShimpleBody in soot.jimple.toolkits.invoke

Methods in soot.jimple.toolkits.invoke with parameters of type ShimpleBody

Modifier and Type	Method	Description
Local	SynchronizerManager.addStmtsToFetchClassBefore(ShimpleBody b, Stmt target)	Adds code to fetch the static Class object to the given JimpleBody before the target Stmt.
static Stmt	ThrowManager.getNullPointerExceptionThrower(ShimpleBody 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, ShimpleBody b, Local lock)	Wraps stmt around a monitor associated with local lock.

Uses of ShimpleBody in soot.shimple

Methods in soot.shimple that return ShimpleBody

Modifier and Type	Method	Description
ShimpleBody	Shimple.newBody(Body b)	Returns a ShimpleBody constructed from b, using default phase options.
ShimpleBody	Shimple.newBody(Body b, Map<String,String> options)	Returns a ShimpleBody constructed from b, using provided option Map.
ShimpleBody	Shimple.newBody(SootMethod m)	Returns an empty ShimpleBody associated with method m, using default phase options.
ShimpleBody	Shimple.newBody(SootMethod m, Map<String,String> options)	Returns an empty ShimpleBody associated with method m, using provided option map.

Methods in soot.shimple with parameters of type ShimpleBody

Modifier and Type	Method	Description
JimpleBody	Shimple.newJimpleBody(ShimpleBody body)	Constructs a JimpleBody from a ShimpleBody.

Uses of ShimpleBody in soot.shimple.internal

Fields in soot.shimple.internal declared as ShimpleBody

Modifier and Type	Field	Description
protected ShimpleBody	PhiNodeManager.body
protected ShimpleBody	PiNodeManager.body
protected ShimpleBody	ShimpleBodyBuilder.body

Constructors in soot.shimple.internal with parameters of type ShimpleBody

Constructor	Description
PhiNodeManager(ShimpleBody body, ShimpleFactory sf)
PiNodeManager(ShimpleBody body, boolean trimmed, ShimpleFactory sf)	Transforms the provided body to pure SSA form.
ShimpleBodyBuilder(ShimpleBody body)	Transforms the provided body to pure SSA form.

Uses of ShimpleBody in soot.shimple.toolkits.scalar

Fields in soot.shimple.toolkits.scalar declared as ShimpleBody

Modifier and Type	Field	Description
protected ShimpleBody	SConstantPropagatorAndFolder.sb

Constructors in soot.shimple.toolkits.scalar with parameters of type ShimpleBody

Constructor	Description
ShimpleLocalDefs(ShimpleBody sb)	Build a LocalDefs interface from a ShimpleBody.
ShimpleLocalUses(ShimpleBody sb)	Build a LocalUses interface from a ShimpleBody.