Package | Description |
---|---|
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.
|
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.
|