Uses of Interface
soot.validation.Validator

Packages that use Validator

Package	Description
soot.baf.toolkits.base	A toolkit to optimize the Baf IR.
soot.jimple.validation
soot.validation

Uses of Validator in soot.baf.toolkits.base

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

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 Validator in soot.jimple.validation

Classes in soot.jimple.validation that implement Validator

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 Validator in soot.validation

Subinterfaces of Validator in soot.validation

Modifier and Type	Interface and Description
interface	BodyValidator Implement this interface if you want to provide your own body Validator
interface	ClassValidator Implement this interface if you want to provide your own class validator

Classes in soot.validation that implement Validator

Modifier and Type	Class and Description
class	CheckEscapingValidator
class	CheckInitValidator
class	CheckTypesValidator
class	CheckVoidLocalesValidator
class	ClassFlagsValidator Validator that checks for impossible combinations of class flags
class	LocalsValidator
class	MethodDeclarationValidator Validates classes to make sure that all method signatures are valid
class	OuterClassValidator Validates classes to make sure that the outer class chain is not recursive
class	TrapsValidator
class	UnitBoxesValidator
class	UsesValidator
class	ValueBoxesValidator Verifies that a ValueBox is not used in more than one place.