Uses of Class
sootup.core.model.Body

Packages that use Body

Package	Description
qilin.core.pag	Points-to analysis graph (PAG) data structures, based on Soot/jimple/spark/pag with significant modifications.
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,ControlFlowGraph<?>>	AbstractJimpleBasedICFG.bodyToControlFlowGraph

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
ControlFlowGraph<?>	AbstractJimpleBasedICFG.getOrCreateControlFlowGraph(Body body)
protected ControlFlowGraph<?>	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
@NonNull Body	DexMethodSource.resolveBody(@NonNull Iterable<MethodModifier> modifiers)

Uses of Body in sootup.core.frontend

Methods in sootup.core.frontend that return Body

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

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

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

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

Modifier	Constructor	Description
	OverridingBodySource(@NonNull MethodSignature methodSignature, @NonNull 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)
@NonNull List<Stmt>	JGotoStmt.getTargetStmts(@NonNull Body body)
@NonNull List<Stmt>	JIfStmt.getTargetStmts(@NonNull 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
@NonNull Optional<Stmt>	JSwitchStmt.getDefaultTarget(@NonNull Body body)
@NonNull 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
@NonNull Body	Body.BodyBuilder.build()
@NonNull Body	SootMethod.getBody()
@NonNull Body	Body.withLocals(@NonNull Set<Local> locals)

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

Modifier and Type	Method	Description
static Body.BodyBuilder	Body.builder(@NonNull Body body, Set<MethodModifier> modifiers)
@NonNull SootMethod	SootMethod.withBody(@NonNull 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 @NonNull ArrayList<String>	Utils.bodyStmtsAsStrings(@NonNull Body body)
static String	Utils.generateJimpleForTest(@NonNull 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(@NonNull Body body, @NonNull View view)	Verifies that each Local of getUses() and getDefs() belongs to this body's locals.
List<ValidationException>	MethodValidator.validate(@NonNull Body body, @NonNull 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
@NonNull Body	AsmMethodSource.resolveBody(@NonNull Iterable<MethodModifier> modifierIt)

Uses of Body in sootup.java.core

Methods in sootup.java.core that return Body

Modifier and Type	Method	Description
@NonNull Body	JavaSootMethod.getBody()	Retrieves the active body for this method.

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

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