Uses of Class
crypto.analysis.IAnalysisSeed

Packages that use IAnalysisSeed

Package	Description
crypto.analysis
crypto.analysis.errors
crypto.listener
crypto.reporting

Uses of IAnalysisSeed in crypto.analysis

Subclasses of IAnalysisSeed in crypto.analysis

Modifier and Type	Class	Description
class	AnalysisSeedWithEnsuredPredicate
class	AnalysisSeedWithSpecification

Methods in crypto.analysis that return types with arguments of type IAnalysisSeed

Modifier and Type	Method	Description
Collection<IAnalysisSeed>	SeedGenerator.computeSeeds()
Collection<IAnalysisSeed>	CryptoScanner.getDiscoveredSeeds()

Methods in crypto.analysis with parameters of type IAnalysisSeed

Modifier and Type	Method	Description
boolean	PredicateHandler.addNewPred(IAnalysisSeed seedObj, boomerang.scene.Statement statement, boomerang.scene.Val variable, EnsuredCrySLPredicate ensPred)
void	AnalysisPrinter.afterConstraintsCheck(IAnalysisSeed analysisSeed, int violatedConstraints)
void	AnalysisReporter.afterConstraintsCheck(IAnalysisSeed analysisSeed, int violatedConstraints)
void	AnalysisPrinter.beforeConstraintsCheck(IAnalysisSeed analysisSeed)
void	AnalysisReporter.beforeConstraintsCheck(IAnalysisSeed analysisSeed)
void	AnalysisReporter.checkedConstraints(IAnalysisSeed seed, Collection<ISLConstraint> constraints)
void	AnalysisReporter.collectedValues(IAnalysisSeed seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)
void	PredicateHandler.expectPredicate(IAnalysisSeed object, boomerang.scene.Statement stmt, CrySLPredicate predToBeEnsured)
void	AnalysisPrinter.onExtractParameterAnalysisTimeout(IAnalysisSeed analysisSeed, boomerang.scene.Val param, boomerang.scene.Statement statement)
void	AnalysisReporter.onExtractParameterAnalysisTimeout(IAnalysisSeed analysisSeed, boomerang.scene.Val parameter, boomerang.scene.Statement statement)
void	AnalysisPrinter.onReportedError(IAnalysisSeed analysisSeed, AbstractError error)
void	AnalysisPrinter.onSeedFinished(IAnalysisSeed analysisSeed)
void	AnalysisReporter.onSeedFinished(IAnalysisSeed analysisSeed)
void	AnalysisPrinter.onSeedStarted(IAnalysisSeed analysisSeed)
void	AnalysisReporter.onSeedStarted(IAnalysisSeed analysisSeed)
void	AnalysisPrinter.onTypestateAnalysisTimeout(IAnalysisSeed analysisSeed)
void	AnalysisReporter.onTypestateAnalysisTimeout(IAnalysisSeed analysisSeed)
void	AnalysisReporter.reportError(IAnalysisSeed seed, AbstractError error)
void	AnalysisReporter.typestateAnalysisResults(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

Method parameters in crypto.analysis with type arguments of type IAnalysisSeed

Modifier and Type	Method	Description
void	AnalysisPrinter.onDiscoveredSeeds(Collection<IAnalysisSeed> discoveredSeeds)
void	AnalysisReporter.onDiscoveredSeeds(Collection<IAnalysisSeed> discoveredSeeds)

Uses of IAnalysisSeed in crypto.analysis.errors

Methods in crypto.analysis.errors that return IAnalysisSeed

Modifier and Type	Method	Description
IAnalysisSeed	AbstractError.getSeed()

Constructors in crypto.analysis.errors with parameters of type IAnalysisSeed

Constructor	Description
AbstractError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule)
CallToError(IAnalysisSeed seed, CrySLRule rule, Collection<CrySLMethod> requiredMethods)
ConstraintError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, ISLConstraint constraint)
ForbiddenMethodError(IAnalysisSeed seed, boomerang.scene.Statement errorLocation, CrySLRule rule, boomerang.scene.DeclaredMethod calledMethod)
ForbiddenMethodError(IAnalysisSeed seed, boomerang.scene.Statement errorLocation, CrySLRule rule, boomerang.scene.DeclaredMethod calledMethod, Collection<CrySLMethod> alternatives)
HardCodedError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, ISLConstraint constraint)
ImpreciseValueExtractionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, ISLConstraint constraint)
IncompleteOperationError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodsToBeCalled)	Create an IncompleteOperationError, if there is only one dataflow path, where the incomplete operation occurs.
IncompleteOperationError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodsToBeCalled, boolean multiplePaths)	Create an IncompleteOperationError, if there is at least one dataflow path, where an incomplete operation occurs.
InstanceOfError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, CrySLPredicate constraint)
NeverTypeOfError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, CrySLPredicate constraint)
NoCallToError(IAnalysisSeed seed, boomerang.scene.Statement statement, CrySLRule rule)
PredicateContradictionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Map.Entry<CrySLPredicate,CrySLPredicate> disPair)
RequiredPredicateError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, CallSiteWithExtractedValue cs, Collection<CrySLPredicate> contradictedPredicates)
TypestateError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodCalls)
UncaughtExceptionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, boomerang.scene.WrappedClass exception)

Uses of IAnalysisSeed in crypto.listener

Methods in crypto.listener with parameters of type IAnalysisSeed

Modifier and Type	Method	Description
void	IAnalysisListener.afterConstraintsCheck(IAnalysisSeed analysisSeed, int violatedConstraints)
void	IAnalysisListener.beforeConstraintsCheck(IAnalysisSeed analysisSeed)
void	IResultsListener.checkedConstraints(IAnalysisSeed seed, Collection<ISLConstraint> constraints)
void	IResultsListener.collectedValues(IAnalysisSeed seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)
void	IAnalysisListener.onExtractParameterAnalysisTimeout(IAnalysisSeed analysisSeed, boomerang.scene.Val parameter, boomerang.scene.Statement statement)
void	IAnalysisListener.onReportedError(IAnalysisSeed analysisSeed, AbstractError error)
void	IAnalysisListener.onSeedFinished(IAnalysisSeed analysisSeed)
void	IAnalysisListener.onSeedStarted(IAnalysisSeed analysisSeed)
void	IAnalysisListener.onTypestateAnalysisTimeout(IAnalysisSeed analysisSeed)
void	IResultsListener.typestateAnalysisResults(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

Method parameters in crypto.listener with type arguments of type IAnalysisSeed

Modifier and Type	Method	Description
void	IAnalysisListener.onDiscoveredSeeds(Collection<IAnalysisSeed> discoveredSeeds)

Uses of IAnalysisSeed in crypto.reporting

Method parameters in crypto.reporting with type arguments of type IAnalysisSeed

Modifier and Type	Method	Description
void	CommandLineReporter.createAnalysisReport(Collection<IAnalysisSeed> seeds, com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>> errorCollection)
void	CSVReporter.createAnalysisReport(Collection<IAnalysisSeed> seeds, com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>> errorCollection)
void	CSVSummaryReporter.createAnalysisReport(Collection<IAnalysisSeed> seeds, com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>> errorCollection)
void	GitHubAnnotationReporter.createAnalysisReport(Collection<IAnalysisSeed> seeds, com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>> errorCollection)
abstract void	Reporter.createAnalysisReport(Collection<IAnalysisSeed> seeds, com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>> errorCollection)
void	SARIFReporter.createAnalysisReport(Collection<IAnalysisSeed> seeds, com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>> errorCollection)
void	TXTReporter.createAnalysisReport(Collection<IAnalysisSeed> seeds, com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>> errorCollection)
static String	ReportGenerator.generateReport(Collection<IAnalysisSeed> seeds, Collection<CrySLRule> ruleset, com.google.common.collect.Table<boomerang.scene.WrappedClass,boomerang.scene.Method,Set<AbstractError>> errorCollection)	Generates an analysis report content for the CommandLineReporter and TXTReporter.