Uses of Class
crypto.analysis.ClassSpecification
-
Packages that use ClassSpecification Package Description crypto.analysis crypto.constraints -
-
Uses of ClassSpecification in crypto.analysis
Methods in crypto.analysis that return ClassSpecification Modifier and Type Method Description ClassSpecificationAnalysisSeedWithSpecification. getSpec()Methods in crypto.analysis that return types with arguments of type ClassSpecification Modifier and Type Method Description List<ClassSpecification>CryptoScanner. getClassSpecifications()Methods in crypto.analysis with parameters of type ClassSpecification Modifier and Type Method Description voidConstraintReporter. callToForbiddenMethod(ClassSpecification classSpecification, boomerang.jimple.Statement callSite, soot.SootMethod foundCall, Collection<soot.SootMethod> convert)Constructors in crypto.analysis with parameters of type ClassSpecification Constructor Description AnalysisSeedWithSpecification(CryptoScanner cryptoScanner, boomerang.jimple.Statement stmt, boomerang.jimple.Val val, ClassSpecification spec) -
Uses of ClassSpecification in crypto.constraints
Methods in crypto.constraints that return ClassSpecification Modifier and Type Method Description ClassSpecificationConstraintSolver. getClassSpec()
-