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 validator checks whether each ParameterRef and ThisRef is used exactly once.
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.
InvokeValidator
JimpleTrapValidator This validator checks whether the jimple traps are correct.
MethodValidator
NewValidator A relatively simple validator.
ReturnStatementsValidator
TypesValidator Checks whether the types used for locals, method parameters, and method return values are allowed in final Jimple code.