Uses of Class
crypto.analysis.CryptoScanner

Packages that use CryptoScanner

Package	Description
crypto.analysis

Uses of CryptoScanner in crypto.analysis

Fields in crypto.analysis declared as CryptoScanner

Modifier and Type	Field	Description
protected CryptoScanner	IAnalysisSeed.scanner

Methods in crypto.analysis that return CryptoScanner

Modifier and Type	Method	Description
CryptoScanner	IAnalysisSeed.getScanner()

Methods in crypto.analysis with parameters of type CryptoScanner

Modifier and Type	Method	Description
static AnalysisSeedWithEnsuredPredicate	AnalysisSeedWithEnsuredPredicate.makeSeedForComparison(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact)
static AnalysisSeedWithSpecification	AnalysisSeedWithSpecification.makeSeedForComparison(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact, CrySLRule rule)

Constructors in crypto.analysis with parameters of type CryptoScanner

Constructor	Description
AnalysisSeedWithEnsuredPredicate(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)
AnalysisSeedWithSpecification(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results, CrySLRule specification)
IAnalysisSeed(CryptoScanner scanner, boomerang.scene.Statement origin, boomerang.scene.Val fact, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)
PredicateHandler(CryptoScanner cryptoScanner)
SeedGenerator(CryptoScanner scanner, Collection<CrySLRule> rules)