| Enum | 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.
|