Uses of Interface
soot.validation.BodyValidator

Packages that use BodyValidator

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.baf.toolkits.base	A toolkit to optimize the Baf IR.
soot.jimple.validation
soot.validation

Uses of BodyValidator in soot

Methods in soot with parameters of type BodyValidator

Modifier and Type	Method and Description
protected void	Body.runValidation(BodyValidator validator)

Uses of BodyValidator in soot.baf.toolkits.base

Classes in soot.baf.toolkits.base that implement BodyValidator

Modifier and Type	Class and Description
class	StackTypesValidator Checks if the locals and the operand stack will contain the correct types for each instruction in the BafBody.

Uses of BodyValidator in soot.jimple.validation

Classes in soot.jimple.validation that implement BodyValidator

Modifier and Type	Class and Description
class	FieldRefValidator
class	IdentityStatementsValidator
class	IdentityValidator This BodyValidator checks whether each ParameterRef and ThisRef is used exactly once.
class	InvokeArgumentValidator A basic BodyValidator that checks whether the length of the invoke statement's argument list matches the length of the target method's parameter type list.
class	InvokeValidator
class	JimpleTrapValidator This validator checks whether the jimple traps are correct.
class	MethodValidator
class	NewValidator A relatively simple validator.
class	ReturnStatementsValidator Checks that this Body actually contains a throw or return statement, and that the return statement is of the appropriate type (i.e.
class	TypesValidator Checks whether the types used for locals, method parameters, and method return values are allowed in final Jimple code.

Uses of BodyValidator in soot.validation

Classes in soot.validation that implement BodyValidator

Modifier and Type	Class and Description
class	CheckEscapingValidator
class	CheckInitValidator
class	CheckTypesValidator
class	CheckVoidLocalesValidator
class	LocalsValidator
class	TrapsValidator
class	UnitBoxesValidator
class	UsesValidator
class	ValueBoxesValidator Verifies that a ValueBox is not used in more than one place.