Uses of Interface
sootup.core.validation.BodyValidator

Packages that use BodyValidator

Package	Description
sootup.core.validation

Uses of BodyValidator in sootup.core.validation

Classes in sootup.core.validation that implement BodyValidator

Modifier and Type	Class	Description
class	CheckInitValidator	This validator checks whether local variables are defined before they are used.
class	CheckTypesValidator
class	FieldRefValidator
class	IdentityStmtsValidator	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	JimpleTrapValidator	This validator checks whether the jimple traps are correct.
class	LocalsValidator
class	MethodValidator
class	NewValidator
class	StmtsValidator
class	TrapsValidator
class	TypesValidator	Checks whether the types used for locals, method parameters, and method return values are allowed in final Jimple code.
class	UsesValidator