Uses of Class
sootup.core.model.Body

Packages that use Body

Package	Description
qilin.core.pag
qilin.util	Generally useful utility classes for Soot.
sootup.analysis.interprocedural.icfg
sootup.apk.frontend.dexpler
sootup.core.frontend
sootup.core.jimple.common.stmt
sootup.core.jimple.javabytecode.stmt
sootup.core.model
sootup.core.util
sootup.core.util.printer
sootup.core.validation
sootup.java.bytecode.frontend.conversion
sootup.java.core

Uses of Body in qilin.core.pag

Fields in qilin.core.pag declared as Body

Modifier and Type	Field	Description
Body	MethodPAG.body

Constructors in qilin.core.pag with parameters of type Body

Modifier	Constructor	Description
	MethodPAG(PAG pag, SootMethod m, Body body)

Uses of Body in qilin.util

Methods in qilin.util that return Body

Modifier and Type	Method	Description
static Body	PTAUtils.getMethodBody(SootMethod m)

Methods in qilin.util with parameters of type Body

Modifier and Type	Method	Description
static void	PTAUtils.updateMethodBody(SootMethod m, Body body)

Uses of Body in sootup.analysis.interprocedural.icfg

Fields in sootup.analysis.interprocedural.icfg with type parameters of type Body

Modifier and Type	Field	Description
protected com.google.common.cache.LoadingCache<Body,StmtGraph<?>>	AbstractJimpleBasedICFG.bodyToStmtGraph

Methods in sootup.analysis.interprocedural.icfg that return Body

Modifier and Type	Method	Description
Body	AbstractJimpleBasedICFG.getBodyOf(Stmt stmt)

Methods in sootup.analysis.interprocedural.icfg that return types with arguments of type Body

Modifier and Type	Method	Description
protected Map<Stmt,Body>	AbstractJimpleBasedICFG.createStmtToOwnerMap()

Methods in sootup.analysis.interprocedural.icfg with parameters of type Body

Modifier and Type	Method	Description
StmtGraph<?>	AbstractJimpleBasedICFG.getOrCreateStmtGraph(Body body)
protected StmtGraph<?>	AbstractJimpleBasedICFG.makeGraph(Body body)
boolean	AbstractJimpleBasedICFG.setOwnerStatement(Stmt u, Body b)

Uses of Body in sootup.apk.frontend.dexpler

Methods in sootup.apk.frontend.dexpler that return Body

Modifier and Type	Method	Description
Body	DexMethodSource.resolveBody(Iterable<MethodModifier> modifiers)

Uses of Body in sootup.core.frontend

Methods in sootup.core.frontend that return Body

Modifier and Type	Method	Description
Body	BodySource.resolveBody(Iterable<MethodModifier> modifiers)	Returns a filled-out body for the given SootMethod.
Body	OverridingBodySource.resolveBody(Iterable<MethodModifier> modifiers)

Methods in sootup.core.frontend with parameters of type Body

Modifier and Type	Method	Description
OverridingBodySource	OverridingBodySource.withBody(Body body)

Constructors in sootup.core.frontend with parameters of type Body

Modifier	Constructor	Description
	OverridingBodySource(MethodSignature methodSignature, Body body)	Method source where all information already available

Uses of Body in sootup.core.jimple.common.stmt

Methods in sootup.core.jimple.common.stmt with parameters of type Body

Modifier and Type	Method	Description
List<Stmt>	BranchingStmt.getTargetStmts(Body body)
List<Stmt>	JGotoStmt.getTargetStmts(Body body)
List<Stmt>	JIfStmt.getTargetStmts(Body body)

Uses of Body in sootup.core.jimple.javabytecode.stmt

Methods in sootup.core.jimple.javabytecode.stmt with parameters of type Body

Modifier and Type	Method	Description
Optional<Stmt>	JSwitchStmt.getDefaultTarget(Body body)
List<Stmt>	JSwitchStmt.getTargetStmts(Body body)

Uses of Body in sootup.core.model

Methods in sootup.core.model that return Body

Modifier and Type	Method	Description
Body	Body.BodyBuilder.build()
Body	SootMethod.getBody()	Retrieves the active body for this method.
Body	Body.withLocals(Set<Local> locals)

Methods in sootup.core.model with parameters of type Body

Modifier and Type	Method	Description
static Body.BodyBuilder	Body.builder(Body body, Set<MethodModifier> modifiers)
SootMethod	SootMethod.withBody(Body body)

Uses of Body in sootup.core.util

Methods in sootup.core.util with parameters of type Body

Modifier and Type	Method	Description
static ArrayList<String>	Utils.bodyStmtsAsStrings(Body body)
static String	Utils.generateJimpleForTest(Body b)	Helper for writing tests .

Uses of Body in sootup.core.util.printer

Methods in sootup.core.util.printer with parameters of type Body

Modifier and Type	Method	Description
void	JimplePrinter.printTo(Body body, PrintWriter out)
void	JimplePrinter.printTo(Body body, PrintWriter out, LabeledStmtPrinter printer)	Prints out the method corresponding to body Body, (declaration and body), in the textual format corresponding to the IR used to encode body body.

Uses of Body in sootup.core.validation

Methods in sootup.core.validation with parameters of type Body

Modifier and Type	Method	Description
List<ValidationException>	BodyValidator.validate(Body body, View view)	Validates the given body and saves all validation errors in the given list.
List<ValidationException>	CheckInitValidator.validate(Body body, View view)	Checks that local variables present in method body are defined before use.
List<ValidationException>	CheckTypesValidator.validate(Body body, View view)
List<ValidationException>	FieldRefValidator.validate(Body body, View view)
List<ValidationException>	IdentityStmtsValidator.validate(Body body, View view)	Checks whether each ParameterRef and ThisRef is used exactly once.
List<ValidationException>	InvokeArgumentValidator.validate(Body body, View view)
List<ValidationException>	JimpleTrapValidator.validate(Body body, View view)	Checks whether all Caught-Exception-References are associated to traps.
List<ValidationException>	LocalsValidator.validate(Body body, View view)	Verifies that each Local of getUses() and getDefs() belongs to this body's locals.
List<ValidationException>	MethodValidator.validate(Body body, View view)	Checks the following invariants on this Jimple body: static initializer should have 'static' modifier
List<ValidationException>	NewValidator.validate(Body body, View view)
List<ValidationException>	StmtsValidator.validate(Body body, View view)	Verifies that the Units of this Body all point to a Unit contained within this body.
List<ValidationException>	TrapsValidator.validate(Body body, View view)	Verifies that the begin, end and handler units of each trap are in this body.
List<ValidationException>	TypesValidator.validate(Body body, View view)
List<ValidationException>	UsesValidator.validate(Body body, View view)	Verifies that each use in this Body has a def.

Constructors in sootup.core.validation with parameters of type Body

Modifier	Constructor	Description
	ValidationException(Body body, String s)

Uses of Body in sootup.java.bytecode.frontend.conversion

Methods in sootup.java.bytecode.frontend.conversion that return Body

Modifier and Type	Method	Description
Body	AsmMethodSource.resolveBody(Iterable<MethodModifier> modifierIt)

Uses of Body in sootup.java.core

Methods in sootup.java.core with parameters of type Body

Modifier and Type	Method	Description
JavaSootMethod	JavaSootMethod.withBody(Body body)