Package soot.jimple.validation

Enum Summary

Enum	Description
FieldRefValidator
IdentityStatementsValidator
IdentityValidator	This BodyValidator checks whether each ParameterRef and ThisRef is used exactly once.
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.
InvokeValidator
JimpleTrapValidator	This validator checks whether the jimple traps are correct.
MethodValidator
NewValidator	A relatively simple validator.
ReturnStatementsValidator	Checks that this Body actually contains a throw or return statement, and that the return statement is of the appropriate type (i.e.
TypesValidator	Checks whether the types used for locals, method parameters, and method return values are allowed in final Jimple code.