Uses of Class
soot.Body

Packages that use Body

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.asm
soot.baf	Public classes for the Baf intermediate representation.
soot.baf.toolkits.base	A toolkit to optimize the Baf IR.
soot.coffi	Contains classes from the Coffi tool, by Clark Verbrugge.
soot.dava
soot.dava.internal.AST
soot.dexpler
soot.dexpler.instructions
soot.dexpler.typing
soot.grimp	Public classes for the Grimp intermediate representation.
soot.grimp.toolkits.base	A toolkit to optimize the Grimp IR.
soot.javaToJimple
soot.javaToJimple.toolkits
soot.jbco.bafTransformations
soot.jbco.jimpleTransformations
soot.jbco.util
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.parser	An interface to the Jimple parser.
soot.jimple.spark.fieldrw
soot.jimple.toolkits.annotation	A toolkit to annotate classfiles with array and null bounds check information.
soot.jimple.toolkits.annotation.arraycheck	Classes that carry out an analysis to determine whether or not array bounds checks are necessary.
soot.jimple.toolkits.annotation.callgraph
soot.jimple.toolkits.annotation.defs
soot.jimple.toolkits.annotation.liveness
soot.jimple.toolkits.annotation.logic
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.annotation.parity
soot.jimple.toolkits.annotation.profiling
soot.jimple.toolkits.base	A toolkit to optimize the Jimple IR.
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.graph	A set of utility classes for program transformation and optimizations.
soot.jimple.toolkits.ide.icfg
soot.jimple.toolkits.invoke	A toolkit to deal with Jimple and invoke statements.
soot.jimple.toolkits.pointer
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.
soot.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.synchronization
soot.jimple.toolkits.typing	Implements a typing algorithm for Jimple.
soot.jimple.validation
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.
soot.tagkit	Classes supporting classfile annotation in Soot.
soot.toDex
soot.toolkits.exceptions
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.toolkits.graph.interaction
soot.toolkits.graph.pdg
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.
soot.tools	Various extensions to Soot that can be executed instead of soot.Main.
soot.util	Generally useful utility classes for Soot.
soot.util.cfgcmd
soot.validation
soot.xml

Uses of Body in soot

Methods in soot that return Body

Modifier and Type	Method and Description
Body	SootMethod.getActiveBody() Retrieves the active body for this method.
Body	SootMethod.getActiveBody() Retrieves the active body for this method.
Body	MethodSource.getBody(SootMethod m, java.lang.String phaseName) Returns a filled-out body for the given SootMethod.
Body	UnknownMethodSource.getBody(SootMethod m, java.lang.String phaseName)
Body	UnknownMethodSource.getBody(SootMethod m, java.lang.String phaseName)
Body	MethodSource.getBody(SootMethod m, java.lang.String phaseName) Returns a filled-out body for the given SootMethod.
Body	SootMethod.retrieveActiveBody() Returns the active body if present, else constructs an active body and returns that.
Body	SootMethod.retrieveActiveBody() Returns the active body if present, else constructs an active body and returns that.

Methods in soot with parameters of type Body

Modifier and Type	Method and Description
void	Pack.apply(Body b)
void	Transform.apply(Body b)
void	Pack.apply(Body b)
void	Transform.apply(Body b)
protected void	AbstractJasminClass.assignColorsToLocals(Body body)
protected void	AbstractJasminClass.assignColorsToLocals(Body body)
static java.util.List<RefType>	TrapManager.getExceptionTypesOf(Unit u, Body body) Given a body and a unit handling an exception, returns the list of exception types possibly caught by the handler.
static java.util.List<RefType>	TrapManager.getExceptionTypesOf(Unit u, Body body) Given a body and a unit handling an exception, returns the list of exception types possibly caught by the handler.
static java.util.Set<Unit>	TrapManager.getTrappedUnitsOf(Body b) Returns a set of units which lie inside the range of any trap.
static java.util.Set<Unit>	TrapManager.getTrappedUnitsOf(Body b) Returns a set of units which lie inside the range of any trap.
static java.util.List<Trap>	TrapManager.getTrapsAt(Unit unit, Body b) Returns the list of traps caught at Unit u in Body b.
static java.util.List<Trap>	TrapManager.getTrapsAt(Unit unit, Body b) Returns the list of traps caught at Unit u in Body b.
java.util.Map<java.lang.Object,java.lang.Object>	Body.importBodyContentsFrom(Body b) Copies the contents of the given Body into this one.
java.util.Map<java.lang.Object,java.lang.Object>	Body.importBodyContentsFrom(Body b) Copies the contents of the given Body into this one.
protected void	BodyPack.internalApply(Body b)
protected void	JavaToJimpleBodyPack.internalApply(Body b)
protected void	JimpleBodyPack.internalApply(Body b)
protected void	Pack.internalApply(Body b)
protected void	JimpleBodyPack.internalApply(Body b)
protected void	Pack.internalApply(Body b)
protected void	JavaToJimpleBodyPack.internalApply(Body b)
protected void	BodyPack.internalApply(Body b)
protected abstract void	BodyTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) This method is called to perform the transformation itself.
protected abstract void	BodyTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) This method is called to perform the transformation itself.
static boolean	TrapManager.isExceptionCaughtAt(SootClass e, Unit u, Body b) If exception e is caught at unit u in body b, return true; otherwise, return false.
static boolean	TrapManager.isExceptionCaughtAt(SootClass e, Unit u, Body b) If exception e is caught at unit u in body b, return true; otherwise, return false.
void	Printer.printTo(Body b, java.io.PrintWriter out) Prints out the method corresponding to b Body, (declaration and body), in the textual format corresponding to the IR used to encode b body.
void	Printer.printTo(Body b, java.io.PrintWriter out) Prints out the method corresponding to b Body, (declaration and body), in the textual format corresponding to the IR used to encode b body.
void	SootMethod.setActiveBody(Body body) Sets the active body for this method.
void	SootMethod.setActiveBody(Body body) Sets the active body for this method.
static void	TrapManager.splitTrapsAgainst(Body b, Unit rangeStart, Unit rangeEnd) Splits all traps so that they do not cross the range rangeStart - rangeEnd.
static void	TrapManager.splitTrapsAgainst(Body b, Unit rangeStart, Unit rangeEnd) Splits all traps so that they do not cross the range rangeStart - rangeEnd.
void	BodyTransformer.transform(Body b)
void	BodyTransformer.transform(Body b)
void	BodyTransformer.transform(Body b, java.lang.String phaseName)
void	BodyTransformer.transform(Body b, java.lang.String phaseName)
void	BodyTransformer.transform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Called by clients of the transformation.
void	BodyTransformer.transform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Called by clients of the transformation.

Constructors in soot with parameters of type Body

Constructor and Description
BriefUnitPrinter(Body body)
BriefUnitPrinter(Body body)
LabeledUnitPrinter(Body b)
LabeledUnitPrinter(Body b)
NormalUnitPrinter(Body body)
NormalUnitPrinter(Body body)

Uses of Body in soot.asm

Methods in soot.asm with parameters of type Body

Modifier and Type	Method and Description
protected void	CastAndReturnInliner.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	CastAndReturnInliner.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.baf

Subclasses of Body in soot.baf

Modifier and Type	Class and Description
class	BafBody

Methods in soot.baf with parameters of type Body

Modifier and Type	Method and Description
protected void	JasminClass.assignColorsToLocals(Body body)
protected void	JasminClass.assignColorsToLocals(Body body)
BafBody	Baf.newBody(Body b) Returns a BafBody constructed from b.
BafBody	Baf.newBody(Body b) Returns a BafBody constructed from b.
BafBody	Baf.newBody(Body b, java.lang.String phase) Returns a BafBody constructed from b.
BafBody	Baf.newBody(Body b, java.lang.String phase) Returns a BafBody constructed from b.

Constructors in soot.baf with parameters of type Body

Constructor and Description
BafBody(Body body, java.util.Map<java.lang.String,java.lang.String> options)
BafBody(Body body, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.baf.toolkits.base

Methods in soot.baf.toolkits.base with parameters of type Body

Modifier and Type	Method and Description
boolean	ExamplePeephole.apply(Body b)
boolean	Peephole.apply(Body b) Entry point for a peephole.
boolean	Peephole.apply(Body b) Entry point for a peephole.
boolean	ExamplePeephole.apply(Body b)
protected void	LoadStoreOptimizer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) The method that drives the optimizations.
protected void	PeepholeOptimizer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) The method that drives the optimizations.
protected void	PeepholeOptimizer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) The method that drives the optimizations.
protected void	LoadStoreOptimizer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) The method that drives the optimizations.

Uses of Body in soot.coffi

Methods in soot.coffi that return Body

Modifier and Type	Method and Description
Body	CoffiMethodSource.getBody(SootMethod m, java.lang.String phaseName)
Body	CoffiMethodSource.getBody(SootMethod m, java.lang.String phaseName)

Uses of Body in soot.dava

Subclasses of Body in soot.dava

Modifier and Type	Class and Description
class	DavaBody

Methods in soot.dava with parameters of type Body

Modifier and Type	Method and Description
DavaBody	Dava.newBody(Body b) Returns a DavaBody constructed from the given body b.
DavaBody	Dava.newBody(Body b) Returns a DavaBody constructed from the given body b.

Uses of Body in soot.dava.internal.AST

Methods in soot.dava.internal.AST with parameters of type Body

Modifier and Type	Method and Description
void	ASTMethodNode.storeLocals(Body OrigBody)
void	ASTMethodNode.storeLocals(Body OrigBody)

Uses of Body in soot.dexpler

Methods in soot.dexpler that return Body

Modifier and Type	Method and Description
Body	DexBody.getBody() Return the associated JimpleBody.
Body	DexBody.getBody() Return the associated JimpleBody.
Body	DexBody.jimplify(Body b, SootMethod m) Return the jimple equivalent of this body.
Body	DexBody.jimplify(Body b, SootMethod m) Return the jimple equivalent of this body.

Methods in soot.dexpler with parameters of type Body

Modifier and Type	Method and Description
static void	Util.addExceptionAfterUnit(Body b, java.lang.String exceptionType, Unit u, java.lang.String m) Insert a runtime exception before unit u of body b.
static void	Util.addExceptionAfterUnit(Body b, java.lang.String exceptionType, Unit u, java.lang.String m) Insert a runtime exception before unit u of body b.
void	IDalvikTyper.assignType(Body b)
void	IDalvikTyper.assignType(Body b)
protected java.util.List<Unit>	DexTransformer.collectDefinitionsWithAliases(Local l, LocalDefs localDefs, LocalUses localUses, Body body) Collect definitions of l in body including the definitions of aliases of l.
protected java.util.List<Unit>	DexTransformer.collectDefinitionsWithAliases(Local l, LocalDefs localDefs, LocalUses localUses, Body body) Collect definitions of l in body including the definitions of aliases of l.
static void	Util.emptyBody(Body jBody) Remove all statements except from IdentityStatements for parameters.
static void	Util.emptyBody(Body jBody) Remove all statements except from IdentityStatements for parameters.
protected void	DexRefsChecker.internalTransform(Body body, java.lang.String phaseName, java.util.Map options)
protected void	DexRefsChecker.internalTransform(Body body, java.lang.String phaseName, java.util.Map options)
protected void	DexIfTransformer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexNullArrayRefTransformer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexNullThrowTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexNullTransformer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexNumTransformer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexReturnInliner.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexReturnValuePropagator.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	TrapMinimizer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexNullThrowTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexReturnValuePropagator.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexReturnInliner.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	TrapMinimizer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexNullArrayRefTransformer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexNumTransformer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexNullTransformer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DexIfTransformer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
Body	DexBody.jimplify(Body b, SootMethod m) Return the jimple equivalent of this body.
Body	DexBody.jimplify(Body b, SootMethod m) Return the jimple equivalent of this body.

Uses of Body in soot.dexpler.instructions

Methods in soot.dexpler.instructions with parameters of type Body

Modifier and Type	Method and Description
void	MoveExceptionInstruction.retype(Body body)
void	RetypeableInstruction.retype(Body body) Do actual retype.
void	MoveExceptionInstruction.retype(Body body)
void	RetypeableInstruction.retype(Body body) Do actual retype.

Uses of Body in soot.dexpler.typing

Methods in soot.dexpler.typing with parameters of type Body

Modifier and Type	Method and Description
void	DalvikTyper.assignType(Body b)
void	DalvikTyper.assignType(Body b)
static void	Validate.validateArrays(Body b)
static void	Validate.validateArrays(Body b)

Uses of Body in soot.grimp

Subclasses of Body in soot.grimp

Modifier and Type	Class and Description
class	GrimpBody Implementation of the Body class for the Grimp IR.

Methods in soot.grimp with parameters of type Body

Modifier and Type	Method and Description
GrimpBody	Grimp.newBody(Body b, java.lang.String phase) Returns a GrimpBody constructed from b.
GrimpBody	Grimp.newBody(Body b, java.lang.String phase) Returns a GrimpBody constructed from b.

Uses of Body in soot.grimp.toolkits.base

Methods in soot.grimp.toolkits.base with parameters of type Body

Modifier and Type	Method and Description
protected void	ConstructorFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map options) This method change all new Obj/(args) pairs to new Obj(args) idioms.
protected void	ConstructorFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map options) This method change all new Obj/(args) pairs to new Obj(args) idioms.

Uses of Body in soot.javaToJimple

Methods in soot.javaToJimple that return Body

Modifier and Type	Method and Description
Body	AnonClassInitMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	AssertClassMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	ClassLiteralMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	PolyglotMethodSource.getBody(SootMethod sm, java.lang.String phaseName)
Body	PrivateFieldAccMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	PrivateFieldSetMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	PrivateMethodAccMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	AnonClassInitMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	PolyglotMethodSource.getBody(SootMethod sm, java.lang.String phaseName)
Body	PrivateFieldAccMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	PrivateFieldSetMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	AssertClassMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	PrivateMethodAccMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)
Body	ClassLiteralMethodSource.getBody(SootMethod sootMethod, java.lang.String phaseName)

Methods in soot.javaToJimple with parameters of type Body

Modifier and Type	Method and Description
void	PolyglotMethodSource.addAssertInits(Body body)
void	PolyglotMethodSource.addAssertInits(Body body)
static Local	Util.getPrivateAccessFieldInvoke(SootMethodRef toInvoke, java.util.ArrayList params, Body body, LocalGenerator lg)
static Local	Util.getPrivateAccessFieldInvoke(SootMethodRef toInvoke, java.util.ArrayList params, Body body, LocalGenerator lg)
static Local	Util.getThis(Type sootType, Body body, java.util.HashMap getThisMap, LocalGenerator lg)
static Local	Util.getThis(Type sootType, Body body, java.util.HashMap getThisMap, LocalGenerator lg)
static Local	Util.getThisGivenOuter(Type sootType, java.util.HashMap getThisMap, Body body, LocalGenerator lg, Local t2)
static Local	Util.getThisGivenOuter(Type sootType, java.util.HashMap getThisMap, Body body, LocalGenerator lg, Local t2)

Constructors in soot.javaToJimple with parameters of type Body

Constructor and Description
LocalGenerator(Body b)
LocalGenerator(Body b)

Uses of Body in soot.javaToJimple.toolkits

Methods in soot.javaToJimple.toolkits with parameters of type Body

Modifier and Type	Method and Description
protected void	CondTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	CondTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)

Uses of Body in soot.jbco.bafTransformations

Methods in soot.jbco.bafTransformations with parameters of type Body

Modifier and Type	Method and Description
static java.util.Map<Unit,java.util.Stack<Type>>	StackTypeHeightCalculator.calculateStackHeights(Body b)
static java.util.Map<Unit,java.util.Stack<Type>>	StackTypeHeightCalculator.calculateStackHeights(Body b)
static java.util.Map<Unit,java.util.Stack<Type>>	StackTypeHeightCalculator.calculateStackHeights(Body b, boolean jimpleLocals)
static java.util.Map<Unit,java.util.Stack<Type>>	StackTypeHeightCalculator.calculateStackHeights(Body b, boolean jimpleLocals)
static java.util.Map<Unit,java.util.Stack<Type>>	StackTypeHeightCalculator.calculateStackHeights(Body b, java.util.Map<Local,Local> b2JLocs)
static java.util.Map<Unit,java.util.Stack<Type>>	StackTypeHeightCalculator.calculateStackHeights(Body b, java.util.Map<Local,Local> b2JLocs)
static java.util.Stack<Type>	StackTypeHeightCalculator.getAfterStack(Body b, Unit u)
static java.util.Stack<Type>	StackTypeHeightCalculator.getAfterStack(Body b, Unit u)
protected void	AddJSRs.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	BAFCounter.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	BAFPrintout.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	BafLineNumberer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	ConstructorConfuser.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	Counter.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	FindDuplicateSequences.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	FixUndefinedLocals.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	IfNullToTryCatch.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	IndirectIfJumpsToCaughtGotos.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	Jimple2BafLocalBuilder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	LocalsToBitField.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	MoveLoadsAboveIfs.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	RemoveRedundantPushStores.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	TryCatchCombiner.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	UpdateConstantsToFields.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	WrapSwitchesInTrys.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	UpdateConstantsToFields.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	IndirectIfJumpsToCaughtGotos.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	BAFCounter.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	Jimple2BafLocalBuilder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	IfNullToTryCatch.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	ConstructorConfuser.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	AddJSRs.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	Counter.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	LocalsToBitField.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	TryCatchCombiner.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	FixUndefinedLocals.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	BAFPrintout.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	FindDuplicateSequences.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	WrapSwitchesInTrys.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	BafLineNumberer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	MoveLoadsAboveIfs.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	RemoveRedundantPushStores.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.jbco.jimpleTransformations

Methods in soot.jbco.jimpleTransformations with parameters of type Body

Modifier and Type	Method and Description
boolean	AddSwitches.checkTraps(Unit u, Body b)
boolean	AddSwitches.checkTraps(Unit u, Body b)
protected void	AddSwitches.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	ArithmeticTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	CollectJimpleLocals.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	GotoInstrumenter.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	ArithmeticTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	AddSwitches.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	GotoInstrumenter.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	CollectJimpleLocals.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.jbco.util

Methods in soot.jbco.util with parameters of type Body

Modifier and Type	Method and Description
static void	Debugger.printBaf(Body b)
static void	Debugger.printBaf(Body b)
static void	Debugger.printUnits(Body b, java.lang.String msg)
static void	Debugger.printUnits(Body b, java.lang.String msg)

Constructors in soot.jbco.util with parameters of type Body

Constructor and Description
SimpleExceptionalGraph(Body body)
SimpleExceptionalGraph(Body body)

Uses of Body in soot.jimple

Subclasses of Body in soot.jimple

Modifier and Type	Class and Description
class	JimpleBody Implementation of the Body class for the Jimple IR.
class	StmtBody Abstract base class for Body's on Stmts (Jimple and Grimp).

Methods in soot.jimple that return Body

Modifier and Type	Method and Description
Body	JimpleMethodSource.getBody(SootMethod m, java.lang.String phaseName)
Body	JimpleMethodSource.getBody(SootMethod m, java.lang.String phaseName)

Methods in soot.jimple with parameters of type Body

Modifier and Type	Method and Description
protected void	JasminClass.assignColorsToLocals(Body body)
protected void	JasminClass.assignColorsToLocals(Body body)

Uses of Body in soot.jimple.parser

Methods in soot.jimple.parser that return Body

Modifier and Type	Method and Description
Body	JimpleAST.getBody(SootMethod m) Returns a body corresponding to the parsed jimple for m.
Body	JimpleAST.getBody(SootMethod m) Returns a body corresponding to the parsed jimple for m.

Uses of Body in soot.jimple.spark.fieldrw

Methods in soot.jimple.spark.fieldrw with parameters of type Body

Modifier and Type	Method and Description
protected void	FieldTagAggregator.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	FieldTagger.internalTransform(Body body, java.lang.String phaseName, java.util.Map options)
protected void	FieldTagAggregator.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	FieldTagger.internalTransform(Body body, java.lang.String phaseName, java.util.Map options)

Uses of Body in soot.jimple.toolkits.annotation

Methods in soot.jimple.toolkits.annotation with parameters of type Body

Modifier and Type	Method and Description
protected void	AvailExprTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map opts)
protected void	DominatorsTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map opts)
protected void	DominatorsTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map opts)
protected void	AvailExprTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map opts)

Uses of Body in soot.jimple.toolkits.annotation.arraycheck

Methods in soot.jimple.toolkits.annotation.arraycheck with parameters of type Body

Modifier and Type	Method and Description
protected void	ArrayBoundsChecker.internalTransform(Body body, java.lang.String phaseName, java.util.Map opts)
protected void	ArrayBoundsChecker.internalTransform(Body body, java.lang.String phaseName, java.util.Map opts)

Uses of Body in soot.jimple.toolkits.annotation.callgraph

Methods in soot.jimple.toolkits.annotation.callgraph with parameters of type Body

Modifier and Type	Method and Description
protected void	CallGraphTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	CallGraphTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)

Uses of Body in soot.jimple.toolkits.annotation.defs

Methods in soot.jimple.toolkits.annotation.defs with parameters of type Body

Modifier and Type	Method and Description
protected void	ReachingDefsTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	ReachingDefsTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.jimple.toolkits.annotation.liveness

Methods in soot.jimple.toolkits.annotation.liveness with parameters of type Body

Modifier and Type	Method and Description
protected void	LiveVarsTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	LiveVarsTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)

Uses of Body in soot.jimple.toolkits.annotation.logic

Methods in soot.jimple.toolkits.annotation.logic with parameters of type Body

Modifier and Type	Method and Description
protected void	LoopFinder.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	LoopInvariantFinder.internalTransform(Body b, java.lang.String phaseName, java.util.Map options) this one uses the side effect tester
protected void	LoopInvariantFinder.internalTransform(Body b, java.lang.String phaseName, java.util.Map options) this one uses the side effect tester
protected void	LoopFinder.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)

Uses of Body in soot.jimple.toolkits.annotation.nullcheck

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type Body

Modifier and Type	Method and Description
void	NullCheckEliminator.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	NullPointerChecker.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	NullPointerColorer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
void	NullCheckEliminator.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	NullPointerColorer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	NullPointerChecker.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.jimple.toolkits.annotation.parity

Methods in soot.jimple.toolkits.annotation.parity with parameters of type Body

Modifier and Type	Method and Description
protected void	ParityTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	ParityTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)

Uses of Body in soot.jimple.toolkits.annotation.profiling

Methods in soot.jimple.toolkits.annotation.profiling with parameters of type Body

Modifier and Type	Method and Description
protected void	ProfilingGenerator.internalTransform(Body body, java.lang.String phaseName, java.util.Map opts)
protected void	ProfilingGenerator.internalTransform(Body body, java.lang.String phaseName, java.util.Map opts)

Uses of Body in soot.jimple.toolkits.base

Methods in soot.jimple.toolkits.base with parameters of type Body

Modifier and Type	Method and Description
protected void	ExceptionChecker.checkInvoke(Body b, InvokeStmt is)
protected void	ExceptionChecker.checkInvoke(Body b, InvokeStmt is)
protected void	ExceptionChecker.checkInvokeExpr(Body b, InvokeExpr ie, Stmt s)
protected void	ExceptionChecker.checkInvokeExpr(Body b, InvokeExpr ie, Stmt s)
protected void	ExceptionChecker.checkThrow(Body b, ThrowStmt ts)
protected void	ExceptionChecker.checkThrow(Body b, ThrowStmt ts)
protected void	ExceptionChecker.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
void	ThisInliner.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
void	ThisInliner.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	ExceptionChecker.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	Aggregator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Traverse the statements in the given body, looking for aggregation possibilities; that is, given a def d and a use u, d has no other uses, u has no other defs, collapse d and u.
void	JimpleConstructorFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) This method pushes all newExpr down to be the stmt directly before every invoke of the init
void	PartialConstructorFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) This method pushes all newExpr down to be the stmt directly before every invoke of the init only if they are in the types list
void	PartialConstructorFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) This method pushes all newExpr down to be the stmt directly before every invoke of the init only if they are in the types list
void	JimpleConstructorFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) This method pushes all newExpr down to be the stmt directly before every invoke of the init
protected void	Aggregator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Traverse the statements in the given body, looking for aggregation possibilities; that is, given a def d and a use u, d has no other uses, u has no other defs, collapse d and u.
protected boolean	ExceptionChecker.isExceptionCaught(Body b, Stmt s, RefType throwType)
protected boolean	ExceptionChecker.isExceptionCaught(Body b, Stmt s, RefType throwType)
protected boolean	ExceptionChecker.isThrowDeclared(Body b, SootClass throwClass)
protected boolean	ExceptionChecker.isThrowDeclared(Body b, SootClass throwClass)
protected boolean	ExceptionChecker.isThrowInStmtRange(Body b, Stmt begin, Stmt end, Stmt s)
protected boolean	ExceptionChecker.isThrowInStmtRange(Body b, Stmt begin, Stmt end, Stmt s)

Uses of Body in soot.jimple.toolkits.callgraph

Methods in soot.jimple.toolkits.callgraph with parameters of type Body

Modifier and Type	Method and Description
protected void	ClinitElimTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	UnreachableMethodTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	ClinitElimTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	UnreachableMethodTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)

Uses of Body in soot.jimple.toolkits.graph

Methods in soot.jimple.toolkits.graph with parameters of type Body

Modifier and Type	Method and Description
protected void	CriticalEdgeRemover.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) performs critical edge-removing.
protected void	LoopConditionUnroller.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) unrolls conditions.
protected void	CriticalEdgeRemover.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) performs critical edge-removing.
protected void	LoopConditionUnroller.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) unrolls conditions.

Uses of Body in soot.jimple.toolkits.ide.icfg

Fields in soot.jimple.toolkits.ide.icfg with type parameters of type Body

Modifier and Type	Field and Description
protected com.google.common.cache.LoadingCache<Body,LocalMustNotAliasAnalysis>	OnTheFlyJimpleBasedICFG.bodyToLMNAA
protected com.google.common.cache.LoadingCache<Body,LocalMustNotAliasAnalysis>	OnTheFlyJimpleBasedICFG.bodyToLMNAA
protected com.google.common.cache.LoadingCache<Body,DirectedGraph<Unit>>	AbstractJimpleBasedICFG.bodyToUnitGraph
protected com.google.common.cache.LoadingCache<Body,DirectedGraph<Unit>>	AbstractJimpleBasedICFG.bodyToUnitGraph
protected java.util.Map<Unit,Body>	AbstractJimpleBasedICFG.unitToOwner
protected java.util.Map<Unit,Body>	AbstractJimpleBasedICFG.unitToOwner

Methods in soot.jimple.toolkits.ide.icfg that return Body

Modifier and Type	Method and Description
protected Body	OnTheFlyJimpleBasedICFG.initForMethod(SootMethod m)
protected Body	OnTheFlyJimpleBasedICFG.initForMethod(SootMethod m)

Methods in soot.jimple.toolkits.ide.icfg with parameters of type Body

Modifier and Type	Method and Description
DirectedGraph<Unit>	AbstractJimpleBasedICFG.getOrCreateUnitGraph(Body body)
DirectedGraph<Unit>	AbstractJimpleBasedICFG.getOrCreateUnitGraph(Body body)
protected DirectedGraph<Unit>	AbstractJimpleBasedICFG.makeGraph(Body body)
protected DirectedGraph<Unit>	AbstractJimpleBasedICFG.makeGraph(Body body)

Uses of Body in soot.jimple.toolkits.invoke

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

Modifier and Type	Method and Description
static void	AccessManager.createAccessorMethods(Body body, Stmt before, Stmt after) Resolves illegal accesses in the interval ]before,after[ by creating accessor methods.
static void	AccessManager.createAccessorMethods(Body body, Stmt before, Stmt after) Resolves illegal accesses in the interval ]before,after[ by creating accessor methods.

Uses of Body in soot.jimple.toolkits.pointer

Methods in soot.jimple.toolkits.pointer with parameters of type Body

Modifier and Type	Method and Description
protected void	CastCheckEliminatorDumper.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	FieldRWTagger.internalTransform(Body body, java.lang.String phaseName, java.util.Map options)
protected void	ParameterAliasTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	SideEffectTagger.internalTransform(Body body, java.lang.String phaseName, java.util.Map options)
protected void	SideEffectTagger.internalTransform(Body body, java.lang.String phaseName, java.util.Map options)
protected void	ParameterAliasTagger.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	CastCheckEliminatorDumper.internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected void	FieldRWTagger.internalTransform(Body body, java.lang.String phaseName, java.util.Map options)

Constructors in soot.jimple.toolkits.pointer with parameters of type Body

Constructor and Description
LocalMustNotAliasAnalysis(DirectedGraph<Unit> directedGraph, Body b)
LocalMustNotAliasAnalysis(DirectedGraph<Unit> directedGraph, Body b)

Uses of Body in soot.jimple.toolkits.scalar

Methods in soot.jimple.toolkits.scalar with parameters of type Body

Modifier and Type	Method and Description
protected void	CommonSubexpressionEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Common subexpression eliminator.
protected void	ConditionalBranchFolder.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	ConstantCastEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	ConstantPropagatorAndFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	CopyPropagator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> opts) Cascaded copy propagator.
protected void	DeadAssignmentEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Eliminates dead code in a linear fashion.
protected void	EmptySwitchEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	LocalNameStandardizer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	NopEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Removes NopStmts from the passed body (which must be a JimpleBody).
protected void	UnconditionalBranchFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	UnreachableCodeEliminator.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	EmptySwitchEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	NopEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Removes NopStmts from the passed body (which must be a JimpleBody).
protected void	ConstantPropagatorAndFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	ConstantCastEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	UnconditionalBranchFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	CommonSubexpressionEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Common subexpression eliminator.
protected void	UnreachableCodeEliminator.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	ConditionalBranchFolder.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	DeadAssignmentEliminator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Eliminates dead code in a linear fashion.
protected void	LocalNameStandardizer.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	CopyPropagator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> opts) Cascaded copy propagator.

Constructors in soot.jimple.toolkits.scalar with parameters of type Body

Constructor and Description
FastAvailableExpressions(Body b, SideEffectTester st) Wrapper for AvailableExpressionsAnalysis.
FastAvailableExpressions(Body b, SideEffectTester st) Wrapper for AvailableExpressionsAnalysis.
SlowAvailableExpressions(Body b) Wrapper for SlowAvailableExpressionsAnalysis.
SlowAvailableExpressions(Body b) Wrapper for SlowAvailableExpressionsAnalysis.

Uses of Body in soot.jimple.toolkits.scalar.pre

Methods in soot.jimple.toolkits.scalar.pre with parameters of type Body

Modifier and Type	Method and Description
protected void	BusyCodeMotion.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> opts) performs the busy code motion.
protected void	LazyCodeMotion.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> opts) performs the lazy code motion.
protected void	BusyCodeMotion.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> opts) performs the busy code motion.
protected void	LazyCodeMotion.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> opts) performs the lazy code motion.

Uses of Body in soot.jimple.toolkits.thread.mhp

Fields in soot.jimple.toolkits.thread.mhp declared as Body

Modifier and Type	Field and Description
Body	PegChain.body
Body	PegChain.body

Methods in soot.jimple.toolkits.thread.mhp that return Body

Modifier and Type	Method and Description
Body	PegGraph.getBody()
Body	PegGraph.getBody()

Constructors in soot.jimple.toolkits.thread.mhp with parameters of type Body

Constructor and Description
MethodExtentBuilder(Body unitBody, PegCallGraph pcg, CallGraph cg)
MethodExtentBuilder(Body unitBody, PegCallGraph pcg, CallGraph cg)
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, java.util.Set<java.lang.Object> methodsNeedingInlining, java.util.Set<AllocNode> allocNodes, java.util.List inlineSites, java.util.Map synchObj, java.util.Set<AllocNode> multiRunAllocNodes, java.util.Map allocNodeToObj, Body unitBody, SootMethod sm, boolean addExceptionEdges, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock) Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, java.util.Set<java.lang.Object> methodsNeedingInlining, java.util.Set<AllocNode> allocNodes, java.util.List inlineSites, java.util.Map synchObj, java.util.Set<AllocNode> multiRunAllocNodes, java.util.Map allocNodeToObj, Body unitBody, SootMethod sm, boolean addExceptionEdges, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock) Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, java.util.Set methodsNeedingInlining, java.util.Set allocNodes, java.util.List<java.util.List> inlineSites, java.util.Map<SootMethod,java.lang.String> synchObj, java.util.Set multiRunAllocNodes, java.util.Map<AllocNode,java.lang.String> allocNodeToObj, Body unitBody, java.lang.String threadName, SootMethod sm, boolean addExceEdge, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock) Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, java.util.Set methodsNeedingInlining, java.util.Set allocNodes, java.util.List<java.util.List> inlineSites, java.util.Map<SootMethod,java.lang.String> synchObj, java.util.Set multiRunAllocNodes, java.util.Map<AllocNode,java.lang.String> allocNodeToObj, Body unitBody, java.lang.String threadName, SootMethod sm, boolean addExceEdge, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock) Constructs a graph for the units found in the provided Body instance.

Uses of Body in soot.jimple.toolkits.thread.synchronization

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type Body

Modifier and Type	Method and Description
protected void	LockAllocationBodyTransformer.internalTransform(Body b, FlowSet fs, java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> groups, boolean[] insertedGlobalLock)
protected void	LockAllocationBodyTransformer.internalTransform(Body b, FlowSet fs, java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> groups, boolean[] insertedGlobalLock)
protected void	LockAllocationBodyTransformer.internalTransform(Body b, java.lang.String phase, java.util.Map opts)
protected void	LockAllocationBodyTransformer.internalTransform(Body b, java.lang.String phase, java.util.Map opts)
InstanceFieldRef	LockAllocationBodyTransformer.reconstruct(Body b, PatchingChain<Unit> units, InstanceFieldRef lock, Stmt insertBefore, boolean redirect)
InstanceFieldRef	LockAllocationBodyTransformer.reconstruct(Body b, PatchingChain<Unit> units, InstanceFieldRef lock, Stmt insertBefore, boolean redirect)
void	LockAllocationBodyTransformer.redirectTraps(Body b, Unit oldUnit, Unit newUnit)
void	LockAllocationBodyTransformer.redirectTraps(Body b, Unit oldUnit, Unit newUnit)

Uses of Body in soot.jimple.toolkits.typing

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

Modifier and Type	Method and Description
static Unit	Util.findFirstNonIdentityUnit(Body b, Stmt s) Returns the first statement after all the "identity statements".
static Unit	Util.findFirstNonIdentityUnit(Body b, Stmt s) Returns the first statement after all the "identity statements".
static Unit	Util.findLastIdentityUnit(Body b, Stmt s) A new "normal" statement cannot be inserted in the middle of special "identity statements" (a = @parameter or b = @this in Jimple).
static Unit	Util.findLastIdentityUnit(Body b, Stmt s) A new "normal" statement cannot be inserted in the middle of special "identity statements" (a = @parameter or b = @this in Jimple).
protected void	TypeAssigner.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Assign types to local variables.
protected void	TypeAssigner.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Assign types to local variables.

Uses of Body in soot.jimple.validation

Methods in soot.jimple.validation with parameters of type Body

Modifier and Type	Method and Description
void	FieldRefValidator.validate(Body body, java.util.List<ValidationException> exception)
void	IdentityStatementsValidator.validate(Body body, java.util.List<ValidationException> exception)
void	IdentityValidator.validate(Body body, java.util.List<ValidationException> exception)
void	InvokeArgumentValidator.validate(Body body, java.util.List<ValidationException> exceptions)
void	InvokeValidator.validate(Body body, java.util.List<ValidationException> exceptions)
void	JimpleTrapValidator.validate(Body body, java.util.List<ValidationException> exception)
void	NewValidator.validate(Body body, java.util.List<ValidationException> exception)
void	ReturnStatementsValidator.validate(Body body, java.util.List<ValidationException> exception)
void	TypesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	FieldRefValidator.validate(Body body, java.util.List<ValidationException> exception)
void	IdentityStatementsValidator.validate(Body body, java.util.List<ValidationException> exception)
void	IdentityValidator.validate(Body body, java.util.List<ValidationException> exception)
void	TypesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	ReturnStatementsValidator.validate(Body body, java.util.List<ValidationException> exception)
void	JimpleTrapValidator.validate(Body body, java.util.List<ValidationException> exception)
void	InvokeValidator.validate(Body body, java.util.List<ValidationException> exceptions)
void	NewValidator.validate(Body body, java.util.List<ValidationException> exception)
void	InvokeArgumentValidator.validate(Body body, java.util.List<ValidationException> exceptions)

Uses of Body in soot.shimple

Subclasses of Body in soot.shimple

Modifier and Type	Class and Description
class	ShimpleBody Implementation of the Body class for the SSA Shimple IR.

Fields in soot.shimple declared as Body

Modifier and Type	Field and Description
protected Body	DefaultShimpleFactory.body
protected Body	DefaultShimpleFactory.body

Methods in soot.shimple that return Body

Modifier and Type	Method and Description
Body	DefaultShimpleFactory.getBody()
Body	DefaultShimpleFactory.getBody()
Body	ShimpleMethodSource.getBody(SootMethod m, java.lang.String phaseName)
Body	ShimpleMethodSource.getBody(SootMethod m, java.lang.String phaseName)

Methods in soot.shimple with parameters of type Body

Modifier and Type	Method and Description
ShimpleBody	Shimple.newBody(Body b) Returns a ShimpleBody constructed from b, using default phase options.
ShimpleBody	Shimple.newBody(Body b) Returns a ShimpleBody constructed from b, using default phase options.
ShimpleBody	Shimple.newBody(Body b, java.util.Map<java.lang.String,java.lang.String> options) Returns a ShimpleBody constructed from b, using provided option Map.
ShimpleBody	Shimple.newBody(Body b, java.util.Map<java.lang.String,java.lang.String> options) Returns a ShimpleBody constructed from b, using provided option Map.
static void	Shimple.redirectToPreds(Body body, Unit remove) If you are removing a Unit from a Unit chain which contains PhiExpr's, you might want to call this utility function in order to update any PhiExpr pointers to the Unit to point to the Unit's predecessor(s).
static void	Shimple.redirectToPreds(Body body, Unit remove) If you are removing a Unit from a Unit chain which contains PhiExpr's, you might want to call this utility function in order to update any PhiExpr pointers to the Unit to point to the Unit's predecessor(s).
void	DefaultShimpleFactory.setBody(Body body)
void	ShimpleFactory.setBody(Body body) Some constructors may require a body.
void	DefaultShimpleFactory.setBody(Body body)
void	ShimpleFactory.setBody(Body body) Some constructors may require a body.

Uses of Body in soot.shimple.internal

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

Constructor and Description
SPatchingChain(Body aBody, Chain<Unit> aChain)
SPatchingChain(Body aBody, Chain<Unit> aChain)

Uses of Body in soot.shimple.toolkits.scalar

Methods in soot.shimple.toolkits.scalar with parameters of type Body

Modifier and Type	Method and Description
protected void	SConstantPropagatorAndFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	SConstantPropagatorAndFolder.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.tagkit

Methods in soot.tagkit with parameters of type Body

Modifier and Type	Method and Description
protected void	TagAggregator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	TagAggregator.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.toDex

Methods in soot.toDex with parameters of type Body

Modifier and Type	Method and Description
protected void	FastDexTrapTightener.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	SynchronizedMethodTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	TrapSplitter.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	SynchronizedMethodTransformer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	FastDexTrapTightener.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	TrapSplitter.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.toolkits.exceptions

Methods in soot.toolkits.exceptions with parameters of type Body

Modifier and Type	Method and Description
protected void	TrapTightener.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	TrapTightener.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)

Uses of Body in soot.toolkits.graph

Fields in soot.toolkits.graph declared as Body

Modifier and Type	Field and Description
protected Body	UnitGraph.body
protected Body	UnitGraph.body
protected Body	BlockGraph.mBody
protected Body	BlockGraph.mBody

Methods in soot.toolkits.graph that return Body

Modifier and Type	Method and Description
Body	Block.getBody() Returns the Block's enclosing Body instance.
Body	BlockGraph.getBody() Returns the Body this BlockGraph is derived from.
Body	ExceptionalGraph.getBody() Returns the Body from which this graph was built.
Body	UnitGraph.getBody()
Body	Block.getBody() Returns the Block's enclosing Body instance.
Body	UnitGraph.getBody()
Body	BlockGraph.getBody() Returns the Body this BlockGraph is derived from.
Body	ExceptionalGraph.getBody() Returns the Body from which this graph was built.

Constructors in soot.toolkits.graph with parameters of type Body

Constructor and Description
ArrayRefBlockGraph(Body body) Constructs an ArrayRefBlockGraph from the given Body.
ArrayRefBlockGraph(Body body) Constructs an ArrayRefBlockGraph from the given Body.
Block(Unit aHead, Unit aTail, Body aBody, int aIndexInMethod, int aBlockLength, BlockGraph aBlockGraph) Constructs a Block in the context of a BlockGraph, and enclosing Body instances.
Block(Unit aHead, Unit aTail, Body aBody, int aIndexInMethod, int aBlockLength, BlockGraph aBlockGraph) Constructs a Block in the context of a BlockGraph, and enclosing Body instances.
BriefBlockGraph(Body body) Constructs a BriefBlockGraph from a given Body.
BriefBlockGraph(Body body) Constructs a BriefBlockGraph from a given Body.
BriefUnitGraph(Body body) Constructs a BriefUnitGraph given a Body instance.
BriefUnitGraph(Body body) Constructs a BriefUnitGraph given a Body instance.
ClassicCompleteBlockGraph(Body body) Constructs a ClassicCompleteBlockGraph for the blocks found by partitioning the the units of the provided Body instance into basic blocks.
ClassicCompleteBlockGraph(Body body) Constructs a ClassicCompleteBlockGraph for the blocks found by partitioning the the units of the provided Body instance into basic blocks.
ClassicCompleteUnitGraph(Body body) Constructs the graph from a given Body instance.
ClassicCompleteUnitGraph(Body body) Constructs the graph from a given Body instance.
CompleteBlockGraph(Body b)
CompleteBlockGraph(Body b)
CompleteUnitGraph(Body b)
CompleteUnitGraph(Body b)
ExceptionalBlockGraph(Body body) Constructs an ExceptionalBlockGraph for the blocks found by partitioning the the units of the provided Body instance into basic blocks.
ExceptionalBlockGraph(Body body) Constructs an ExceptionalBlockGraph for the blocks found by partitioning the the units of the provided Body instance into basic blocks.
ExceptionalUnitGraph(Body body) Constructs the graph from a given Body instance, using the Scene 's default ThrowAnalysis to estimate the set of exceptions that each Unit might throw and a default value, provided by the Options class, for the omitExceptingUnitEdges parameter.
ExceptionalUnitGraph(Body body) Constructs the graph from a given Body instance, using the Scene 's default ThrowAnalysis to estimate the set of exceptions that each Unit might throw and a default value, provided by the Options class, for the omitExceptingUnitEdges parameter.
ExceptionalUnitGraph(Body body, boolean ignoredBogusParameter) Allocates an ExceptionalUnitGraph object without initializing it.
ExceptionalUnitGraph(Body body, boolean ignoredBogusParameter) Allocates an ExceptionalUnitGraph object without initializing it.
ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis) Constructs the graph from a given Body instance using the passed ThrowAnalysis and a default value, provided by the Options class, for the omitExceptingUnitEdges parameter.
ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis) Constructs the graph from a given Body instance using the passed ThrowAnalysis and a default value, provided by the Options class, for the omitExceptingUnitEdges parameter.
ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges) Constructs the graph for a given Body instance, using the ThrowAnalysis and omitExceptingUnitEdges value that are passed as parameters.
ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges) Constructs the graph for a given Body instance, using the ThrowAnalysis and omitExceptingUnitEdges value that are passed as parameters.
LoopNestTree(Body b) Builds a loop nest tree from a method body using LoopFinder.
LoopNestTree(Body b) Builds a loop nest tree from a method body using LoopFinder.
TrapUnitGraph(Body body) Constructs the graph from a given Body instance.
TrapUnitGraph(Body body) Constructs the graph from a given Body instance.
UnitGraph(Body body) Performs the work that is required to construct any sort of UnitGraph.
UnitGraph(Body body) Performs the work that is required to construct any sort of UnitGraph.
ZonedBlockGraph(Body body) Constructs a ZonedBlockGraph for the Units comprising the passed Body.
ZonedBlockGraph(Body body) Constructs a ZonedBlockGraph for the Units comprising the passed Body.

Uses of Body in soot.toolkits.graph.interaction

Methods in soot.toolkits.graph.interaction with parameters of type Body

Modifier and Type	Method and Description
void	InteractionHandler.handleNewAnalysis(Transform t, Body b)
void	InteractionHandler.handleNewAnalysis(Transform t, Body b)
void	InteractionHandler.handleTransformDone(Transform t, Body b)
void	InteractionHandler.handleTransformDone(Transform t, Body b)

Uses of Body in soot.toolkits.graph.pdg

Fields in soot.toolkits.graph.pdg declared as Body

Modifier and Type	Field and Description
protected Body	HashMutablePDG.m_body
protected Body	HashMutablePDG.m_body
protected Body	RegionAnalysis.m_methodBody
protected Body	RegionAnalysis.m_methodBody

Constructors in soot.toolkits.graph.pdg with parameters of type Body

Constructor and Description
EnhancedBlockGraph(Body body)
EnhancedBlockGraph(Body body)
EnhancedUnitGraph(Body body)
EnhancedUnitGraph(Body body)

Uses of Body in soot.toolkits.scalar

Fields in soot.toolkits.scalar with type parameters of type Body

Modifier and Type	Field and Description
protected java.util.Map<Body,Pair<java.lang.Long,SmartLocalDefs>>	SmartLocalDefsPool.pool
protected java.util.Map<Body,Pair<java.lang.Long,SmartLocalDefs>>	SmartLocalDefsPool.pool

Methods in soot.toolkits.scalar with parameters of type Body

Modifier and Type	Method and Description
static void	FastColorer.assignColorsToLocals(Body unitBody, java.util.Map<Local,java.lang.Object> localToGroup, java.util.Map<Local,java.lang.Integer> localToColor, java.util.Map<java.lang.Object,java.lang.Integer> groupToColorCount) Provides an economical coloring for the locals of unitBody.
static void	FastColorer.assignColorsToLocals(Body unitBody, java.util.Map<Local,java.lang.Object> localToGroup, java.util.Map<Local,java.lang.Integer> localToColor, java.util.Map<java.lang.Object,java.lang.Integer> groupToColorCount) Provides an economical coloring for the locals of unitBody.
SmartLocalDefs	SmartLocalDefsPool.getSmartLocalDefsFor(Body b) This method returns a fresh instance of a SmartLocalDefs analysis, based on a freshly created ExceptionalUnitGraph for b, with standard parameters.
SmartLocalDefs	SmartLocalDefsPool.getSmartLocalDefsFor(Body b) This method returns a fresh instance of a SmartLocalDefs analysis, based on a freshly created ExceptionalUnitGraph for b, with standard parameters.
protected void	LocalPacker.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	LocalSplitter.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	UnusedLocalEliminator.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	LocalSplitter.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	UnusedLocalEliminator.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	LocalPacker.internalTransform(Body body, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
void	SmartLocalDefsPool.invalidate(Body b)
void	SmartLocalDefsPool.invalidate(Body b)
static LocalDefs	LocalDefs.Factory.newLocalDefs(Body body) Creates a new LocalDefs analysis based on a ExceptionalUnitGraph
static LocalDefs	LocalDefs.Factory.newLocalDefs(Body body) Creates a new LocalDefs analysis based on a ExceptionalUnitGraph
static LocalDefs	LocalDefs.Factory.newLocalDefs(Body body, boolean expectUndefined) Creates a new LocalDefs analysis based on a ExceptionalUnitGraph If you don't trust the input you should set expectUndefined to true
static LocalDefs	LocalDefs.Factory.newLocalDefs(Body body, boolean expectUndefined) Creates a new LocalDefs analysis based on a ExceptionalUnitGraph If you don't trust the input you should set expectUndefined to true
static LocalUses	LocalUses.Factory.newLocalUses(Body body)
static LocalUses	LocalUses.Factory.newLocalUses(Body body)
static LocalUses	LocalUses.Factory.newLocalUses(Body body, LocalDefs localDefs)
static LocalUses	LocalUses.Factory.newLocalUses(Body body, LocalDefs localDefs)
static void	FastColorer.unsplitAssignColorsToLocals(Body unitBody, java.util.Map<Local,java.lang.Object> localToGroup, java.util.Map<Local,java.lang.Integer> localToColor, java.util.Map<java.lang.Object,java.lang.Integer> groupToColorCount) Provides a coloring for the locals of unitBody, attempting to not split locals assigned the same name in the original Jimple.
static void	FastColorer.unsplitAssignColorsToLocals(Body unitBody, java.util.Map<Local,java.lang.Object> localToGroup, java.util.Map<Local,java.lang.Integer> localToColor, java.util.Map<java.lang.Object,java.lang.Integer> groupToColorCount) Provides a coloring for the locals of unitBody, attempting to not split locals assigned the same name in the original Jimple.

Constructors in soot.toolkits.scalar with parameters of type Body

Constructor and Description
SimpleLocalUses(Body body, LocalDefs localDefs) Construct the analysis from a method body and a LocalDefs interface.
SimpleLocalUses(Body body, LocalDefs localDefs) Construct the analysis from a method body and a LocalDefs interface.

Uses of Body in soot.tools

Methods in soot.tools with parameters of type Body

Modifier and Type	Method and Description
protected void	CFGViewer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	CFGViewer.internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options)
protected void	CFGViewer.print_cfg(Body body)
protected void	CFGViewer.print_cfg(Body body)

Uses of Body in soot.util

Methods in soot.util with parameters of type Body

Modifier and Type	Method and Description
void	PhaseDumper.dumpAfter(Body b, java.lang.String phaseName) Tells the PhaseDumper that a Body transforming phase has ended, so that it can dump the phases's “after” file.
void	PhaseDumper.dumpAfter(Body b, java.lang.String phaseName) Tells the PhaseDumper that a Body transforming phase has ended, so that it can dump the phases's “after” file.
void	PhaseDumper.dumpBefore(Body b, java.lang.String phaseName) Tells the PhaseDumper that a Body transforming phase has started, so that it can dump the phases's “before” file.
void	PhaseDumper.dumpBefore(Body b, java.lang.String phaseName) Tells the PhaseDumper that a Body transforming phase has started, so that it can dump the phases's “before” file.
void	PhaseDumper.dumpBody(Body b, java.lang.String baseName)
void	PhaseDumper.dumpBody(Body b, java.lang.String baseName)
void	PhaseDumper.dumpGraph(DirectedGraph g, Body b) Asks the PhaseDumper to dump the passed DirectedGraph if the current phase is being dumped.
void	PhaseDumper.dumpGraph(DirectedGraph g, Body b) Asks the PhaseDumper to dump the passed DirectedGraph if the current phase is being dumped.

Constructors in soot.util with parameters of type Body

Constructor and Description
UnitMap(Body b) maps each unit of this body to the result of mapTo. before the mapping the method init is called. the internal hashtable is initialized without any parameter.
UnitMap(Body b) maps each unit of this body to the result of mapTo. before the mapping the method init is called. the internal hashtable is initialized without any parameter.
UnitMap(Body b, int initialCapacity) maps each unit of this body to the result of mapTo. before the mapping the method init is called. the internal hashtable is initialized to initialCapacity.
UnitMap(Body b, int initialCapacity) maps each unit of this body to the result of mapTo. before the mapping the method init is called. the internal hashtable is initialized to initialCapacity.
UnitMap(Body b, int initialCapacity, float loadFactor) maps each unit of this body to the result of mapTo. before the mapping the method init is called. the internal hashtable is initialized to initialCapacity and loadFactor.
UnitMap(Body b, int initialCapacity, float loadFactor) maps each unit of this body to the result of mapTo. before the mapping the method init is called. the internal hashtable is initialized to initialCapacity and loadFactor.

Uses of Body in soot.util.cfgcmd

Methods in soot.util.cfgcmd that return Body

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

Methods in soot.util.cfgcmd with parameters of type Body

Modifier and Type	Method and Description
abstract DirectedGraph	CFGGraphType.buildGraph(Body b) Method that will build a graph of this type.
abstract DirectedGraph	CFGGraphType.buildGraph(Body b) Method that will build a graph of this type.
<N> DotGraph	CFGToDotGraph.drawCFG(DirectedGraph<N> graph, Body body) Create a DotGraph whose nodes and edges depict a control flow graph without distinguished exceptional edges.
<N> DotGraph	CFGToDotGraph.drawCFG(DirectedGraph<N> graph, Body body) Create a DotGraph whose nodes and edges depict a control flow graph without distinguished exceptional edges.
abstract DotGraph	CFGGraphType.drawGraph(CFGToDotGraph drawer, DirectedGraph g, Body b) Method that will draw a DotGraph representation of the control flow in this type of graph.
abstract DotGraph	CFGGraphType.drawGraph(CFGToDotGraph drawer, DirectedGraph g, Body b) Method that will draw a DotGraph representation of the control flow in this type of graph.

Uses of Body in soot.validation

Methods in soot.validation with parameters of type Body

Modifier and Type	Method and Description
void	BodyValidator.validate(Body body, java.util.List<ValidationException> exceptions) Validates the given body and saves all validation errors in the given list.
void	CheckInitValidator.validate(Body body, java.util.List<ValidationException> exception)
void	CheckTypesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	CheckVoidLocalesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	LocalsValidator.validate(Body body, java.util.List<ValidationException> exception)
void	TrapsValidator.validate(Body body, java.util.List<ValidationException> exception)
void	UnitBoxesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	UsesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	ValueBoxesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	UsesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	ValueBoxesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	TrapsValidator.validate(Body body, java.util.List<ValidationException> exception)
void	CheckInitValidator.validate(Body body, java.util.List<ValidationException> exception)
void	CheckVoidLocalesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	LocalsValidator.validate(Body body, java.util.List<ValidationException> exception)
void	UnitBoxesValidator.validate(Body body, java.util.List<ValidationException> exception)
void	BodyValidator.validate(Body body, java.util.List<ValidationException> exceptions) Validates the given body and saves all validation errors in the given list.
void	CheckTypesValidator.validate(Body body, java.util.List<ValidationException> exception)

Constructors in soot.validation with parameters of type Body

Constructor and Description
UnitValidationException(Unit concerned, Body body, java.lang.String strMessage) Creates a new ValidationException, treated as an error.
UnitValidationException(Unit concerned, Body body, java.lang.String strMessage) Creates a new ValidationException, treated as an error.
UnitValidationException(Unit concerned, Body body, java.lang.String strMessage, boolean isWarning) Creates a new ValidationException.
UnitValidationException(Unit concerned, Body body, java.lang.String strMessage, boolean isWarning) Creates a new ValidationException.

Uses of Body in soot.xml

Methods in soot.xml with parameters of type Body

Modifier and Type	Method and Description
void	TagCollector.collectBodyTags(Body b)
void	TagCollector.collectBodyTags(Body b)