Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple |
Public classes for the Jimple intermediate representation.
|
soot.jimple.validation | |
soot.validation |
Modifier and Type | Method and Description |
---|---|
void |
Body.validate(List<ValidationException> exceptionList)
Validates the jimple body and saves a list of all validation errors
|
void |
SootClass.validate(List<ValidationException> exceptionList)
Validates this SootClass for logical errors.
|
void |
Body.validate(List<ValidationException> exceptionList)
Validates the jimple body and saves a list of all validation errors
|
void |
SootClass.validate(List<ValidationException> exceptionList)
Validates this SootClass for logical errors.
|
Modifier and Type | Method and Description |
---|---|
void |
JimpleBody.validate(List<ValidationException> exceptionList)
Validates the jimple body and saves a list of all validation errors
|
void |
JimpleBody.validate(List<ValidationException> exceptionList)
Validates the jimple body and saves a list of all validation errors
|
Modifier and Type | Method and Description |
---|---|
void |
FieldRefValidator.validate(Body body,
List<ValidationException> exception) |
void |
IdentityStatementsValidator.validate(Body body,
List<ValidationException> exception) |
void |
IdentityValidator.validate(Body body,
List<ValidationException> exception) |
void |
InvokeArgumentValidator.validate(Body body,
List<ValidationException> exceptions) |
void |
InvokeValidator.validate(Body body,
List<ValidationException> exceptions) |
void |
JimpleTrapValidator.validate(Body body,
List<ValidationException> exception) |
void |
NewValidator.validate(Body body,
List<ValidationException> exception) |
void |
ReturnStatementsValidator.validate(Body body,
List<ValidationException> exception) |
void |
TypesValidator.validate(Body body,
List<ValidationException> exception) |
void |
FieldRefValidator.validate(Body body,
List<ValidationException> exception) |
void |
IdentityStatementsValidator.validate(Body body,
List<ValidationException> exception) |
void |
IdentityValidator.validate(Body body,
List<ValidationException> exception) |
void |
TypesValidator.validate(Body body,
List<ValidationException> exception) |
void |
ReturnStatementsValidator.validate(Body body,
List<ValidationException> exception) |
void |
JimpleTrapValidator.validate(Body body,
List<ValidationException> exception) |
void |
InvokeValidator.validate(Body body,
List<ValidationException> exceptions) |
void |
NewValidator.validate(Body body,
List<ValidationException> exception) |
void |
InvokeArgumentValidator.validate(Body body,
List<ValidationException> exceptions) |
Modifier and Type | Class and Description |
---|---|
class |
UnitValidationException
This kind of validation exception can be used if a unit is the cause of an validation error.
|
Modifier and Type | Method and Description |
---|---|
void |
BodyValidator.validate(Body body,
List<ValidationException> exceptions)
Validates the given body and saves all validation errors in the given list.
|
void |
CheckEscapingValidator.validate(Body body,
List<ValidationException> exception) |
void |
CheckInitValidator.validate(Body body,
List<ValidationException> exception) |
void |
CheckTypesValidator.validate(Body body,
List<ValidationException> exception) |
void |
CheckVoidLocalesValidator.validate(Body body,
List<ValidationException> exception) |
void |
LocalsValidator.validate(Body body,
List<ValidationException> exception) |
void |
TrapsValidator.validate(Body body,
List<ValidationException> exception) |
void |
UnitBoxesValidator.validate(Body body,
List<ValidationException> exception) |
void |
UsesValidator.validate(Body body,
List<ValidationException> exception) |
void |
ValueBoxesValidator.validate(Body body,
List<ValidationException> exception) |
void |
UsesValidator.validate(Body body,
List<ValidationException> exception) |
void |
ValueBoxesValidator.validate(Body body,
List<ValidationException> exception) |
void |
TrapsValidator.validate(Body body,
List<ValidationException> exception) |
void |
CheckInitValidator.validate(Body body,
List<ValidationException> exception) |
void |
CheckEscapingValidator.validate(Body body,
List<ValidationException> exception) |
void |
CheckVoidLocalesValidator.validate(Body body,
List<ValidationException> exception) |
void |
LocalsValidator.validate(Body body,
List<ValidationException> exception) |
void |
UnitBoxesValidator.validate(Body body,
List<ValidationException> exception) |
void |
BodyValidator.validate(Body body,
List<ValidationException> exceptions)
Validates the given body and saves all validation errors in the given list.
|
void |
CheckTypesValidator.validate(Body body,
List<ValidationException> exception) |
void |
ClassValidator.validate(SootClass sc,
List<ValidationException> exceptions)
Validates the given class and saves all validation errors in the given list.
|
void |
MethodDeclarationValidator.validate(SootClass sc,
List<ValidationException> exceptions) |
void |
OuterClassValidator.validate(SootClass sc,
List<ValidationException> exceptions) |
void |
MethodDeclarationValidator.validate(SootClass sc,
List<ValidationException> exceptions) |
void |
ClassValidator.validate(SootClass sc,
List<ValidationException> exceptions)
Validates the given class and saves all validation errors in the given list.
|
void |
OuterClassValidator.validate(SootClass sc,
List<ValidationException> exceptions) |