Package sootup.core.validation
package sootup.core.validation
-
ClassDescriptionImplement this interface if you want to provide your own body ValidatorThis validator checks whether local variables are defined before they are used.Validator that checks for impossible combinations of class modifiersImplement this interface if you want to provide your own class validatorValidator that checks for impossible combinations of field modifiersThis validator checks whether each ParameterRef and ThisRef is used exactly once.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.This validator checks whether the jimple traps are correct.Validates classes to make sure that all method signatures are valid and does not contain impossible method modifier combinationsValidates classes to make sure that the outer class chain is not recursiveChecks whether the types used for locals, method parameters, and method return values are allowed in final Jimple code.