Uses of Package
soot.jimple.validation

Packages that use soot.jimple.validation

Package	Description
soot.jimple.validation

Classes in soot.jimple.validation used by soot.jimple.validation

Class and 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.