Uses of Class
soot.jimple.JimpleBody

Packages that use JimpleBody

Package	Description
soot.asm
soot.baf	Public classes for the Baf intermediate representation.
soot.dexpler
soot.dotnet.members.method
soot.JastAddJ
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.asm

Methods in soot.asm with parameters of type JimpleBody

Modifier and Type	Method	Description
protected void	AsmMethodSource.tryCorrectingLocalNames(Jimple jimp, JimpleBody jb)	When preserving original names, try to use the local variable table for guidance.

Uses of JimpleBody in soot.baf

Methods in soot.baf with parameters of type JimpleBody

Modifier and Type	Method	Description
BafBody	Baf.newBody(JimpleBody b)	Returns a BafBody constructed from b.
BafBody	Baf.newBody(JimpleBody b, String phase)	Returns a BafBody constructed from b.

Constructors in soot.baf with parameters of type JimpleBody

Constructor	Description
BafBody(JimpleBody jimpleBody, Map<String,String> options)

Uses of JimpleBody in soot.dexpler

Fields in soot.dexpler declared as JimpleBody

Modifier and Type	Field	Description
protected JimpleBody	DexBody.jBody

Uses of JimpleBody in soot.dotnet.members.method

Methods in soot.dotnet.members.method that return JimpleBody

Modifier and Type	Method	Description
static JimpleBody	DotnetBody.getEmptyJimpleBody(SootMethod m)

Methods in soot.dotnet.members.method with parameters of type JimpleBody

Modifier and Type	Method	Description
void	DotnetBody.jimplify(JimpleBody jb)
protected void	DotnetBody.removeDeadNewExpr(JimpleBody jb)
protected void	DotnetBody.renameLocals(JimpleBody jb)
static void	DelegateHandler.replaceDelegates(JimpleBody jb)
static void	DotnetBody.resolveEmptyJimpleBody(JimpleBody b, SootMethod m)
protected void	DotnetBody.rewriteConditionsToIfs(JimpleBody jb)

Uses of JimpleBody in soot.JastAddJ

Constructors in soot.JastAddJ with parameters of type JimpleBody

Constructor	Description
Body(TypeDecl typeDecl, JimpleBody body, ASTNode container)

Uses of JimpleBody in soot.javaToJimple

Fields in soot.javaToJimple declared as JimpleBody

Modifier and Type	Field	Description
protected JimpleBody	AbstractJimpleBodyBuilder.body

Methods in soot.javaToJimple that return JimpleBody

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

Uses of JimpleBody in soot.jimple

Methods in soot.jimple that return JimpleBody

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

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

Constructor	Description
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

Modifier and Type	Method	Description
Local	SynchronizerManager.addStmtsToFetchClassBefore(JimpleBody b, 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.
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

Modifier and Type	Method	Description
static void	TypeResolver.resolve(JimpleBody stmtBody, Scene scene)
static void	TypeResolverBV.resolve(JimpleBody stmtBody, Scene scene)	Deprecated.

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

Fields in soot.jimple.toolkits.typing.fast declared as JimpleBody

Modifier and Type	Field	Description
protected JimpleBody	TypeResolver.CastInsertionUseVisitor.jb
protected JimpleBody	TypeResolver.jb

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

Modifier and Type	Method	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	Description
AugEvalFunction(JimpleBody jb)
CastInsertionUseVisitor(boolean countOnly, JimpleBody jb, Typing tg, IHierarchy h)
TypePromotionUseVisitor(JimpleBody jb, Typing tg)
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	Description
static void	TypeResolver.resolve(JimpleBody stmtBody)

Uses of JimpleBody in soot.shimple

Methods in soot.shimple that return JimpleBody

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

Modifier and Type	Method	Description
abstract Body	CFGIntermediateRep.getBody(JimpleBody b)	Converts a JimpleBody into the corresponding Body in this intermediate representation.