public abstract class CryptoScanner
extends Object

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addAnalysisListener(IAnalysisListener analysisListener)`
`void`	`addErrorListener(IErrorListener errorListener)`
`void`	`addResultsListener(IResultsListener resultsListener)`
`abstract boomerang.scene.CallGraph`	`callGraph()`
`boomerang.debugger.Debugger<typestate.TransitionFunction>`	`debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> solver)`
`AnalysisReporter`	`getAnalysisReporter()`
`Collection<AnalysisSeedWithSpecification>`	`getAnalysisSeedsWithSpec()`
`com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>>`	`getCollectedErrors()`
`boomerang.scene.DataFlowScope`	`getDataFlowScope()`
`Collection<IAnalysisSeed>`	`getDiscoveredSeeds()`
`Collection<String>`	`getIgnoredSections()`
`PredicateHandler`	`getPredicateHandler()`
`Collection<CrySLRule>`	`getRuleset()`
`Optional<AnalysisSeedWithEnsuredPredicate>`	`getSeedWithoutSpec(AnalysisSeedWithEnsuredPredicate seedAtStatement)`
`Optional<AnalysisSeedWithSpecification>`	`getSeedWithSpec(AnalysisSeedWithSpecification seedAtStatement)`
`int`	`getTimeout()`
`void`	`scan()`

public CryptoScanner(Collection<CrySLRule> rules)

public abstract boomerang.scene.CallGraph callGraph()

public boomerang.scene.DataFlowScope getDataFlowScope()

public boomerang.debugger.Debugger<typestate.TransitionFunction> debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> solver)

public void addAnalysisListener(IAnalysisListener analysisListener)

public void addErrorListener(IErrorListener errorListener)

public void addResultsListener(IResultsListener resultsListener)

public AnalysisReporter getAnalysisReporter()

public com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>> getCollectedErrors()

public Collection<CrySLRule> getRuleset()

public Collection<IAnalysisSeed> getDiscoveredSeeds()

public Collection<AnalysisSeedWithSpecification> getAnalysisSeedsWithSpec()

public Optional<AnalysisSeedWithSpecification> getSeedWithSpec(AnalysisSeedWithSpecification seedAtStatement)

public Optional<AnalysisSeedWithEnsuredPredicate> getSeedWithoutSpec(AnalysisSeedWithEnsuredPredicate seedAtStatement)

public PredicateHandler getPredicateHandler()

public Collection<String> getIgnoredSections()

Class CryptoScanner