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
ClassSpecification	AnalysisSeedWithSpecification.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
void	ConstraintReporter.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
ClassSpecification	ConstraintSolver.getClassSpec()