Uses of Interface
soot.validation.BodyValidator

Packages that use BodyValidator

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
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)
protected void	Body.runValidation(BodyValidator validator)

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 validator checks whether each ParameterRef and ThisRef is used exactly once.
class	InvokeArgumentValidator A basic validator that checks whether the length of the invoke statement's argument list matches the length of the target methods's parameter type list.
class	InvokeValidator
class	JimpleTrapValidator This validator checks whether the jimple traps are correct.
class	NewValidator A relatively simple validator.
class	ReturnStatementsValidator
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	CheckInitValidator
class	CheckTypesValidator
class	CheckVoidLocalesValidator
class	LocalsValidator
class	TrapsValidator
class	UnitBoxesValidator
class	UsesValidator
class	ValueBoxesValidator