Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple.validation | |
soot.validation |
Modifier and Type | Method and Description |
---|---|
protected void |
Body.runValidation(BodyValidator validator) |
protected void |
Body.runValidation(BodyValidator validator) |
Modifier and Type | Class and Description |
---|---|
class |
FieldRefValidator |
class |
IdentityStatementsValidator |
class |
IdentityValidator
This validator checks whether each ParameterRef and ThisRef is used exactly once.
|
class |
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.
|
class |
InvokeValidator |
class |
JimpleTrapValidator
This validator checks whether the jimple traps are correct.
|
class |
NewValidator
A relatively simple validator.
|
class |
ReturnStatementsValidator |
class |
TypesValidator
Checks whether the types used for locals, method parameters, and method
return values are allowed in final Jimple code.
|
Modifier and Type | Class and Description |
---|---|
class |
CheckEscapingValidator |
class |
CheckInitValidator |
class |
CheckTypesValidator |
class |
CheckVoidLocalesValidator |
class |
LocalsValidator |
class |
TrapsValidator |
class |
UnitBoxesValidator |
class |
UsesValidator |
class |
ValueBoxesValidator |