Uses of Class
crypto.analysis.AnalysisSeedWithSpecification

Packages that use AnalysisSeedWithSpecification

Package	Description
crypto.analysis
crypto.constraints
crypto.reporting

Uses of AnalysisSeedWithSpecification in crypto.analysis

Methods in crypto.analysis that return AnalysisSeedWithSpecification

Modifier and Type	Method	Description
AnalysisSeedWithSpecification	HiddenPredicate.getGeneratingSeed()
AnalysisSeedWithSpecification	CryptoScanner.getOrCreateSeedWithSpec(AnalysisSeedWithSpecification factAtStatement)

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

Modifier and Type	Method	Description
Collection<AnalysisSeedWithSpecification>	CryptoScanner.getAnalysisSeeds()

Methods in crypto.analysis with parameters of type AnalysisSeedWithSpecification

Modifier and Type	Method	Description
void	CrySLResultsReporter.afterConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	ICrySLPerformanceListener.afterConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	CrySLResultsReporter.afterPredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	ICrySLPerformanceListener.afterPredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	CrySLResultsReporter.beforeConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	ICrySLPerformanceListener.beforeConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	CrySLResultsReporter.beforePredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	ICrySLPerformanceListener.beforePredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	CrySLResultsReporter.checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification, Collection<ISLConstraint> relConstraints)
void	ICrySLResultsListener.checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification, Collection<ISLConstraint> relConstraints)
void	CrySLResultsReporter.collectedValues(AnalysisSeedWithSpecification seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> parametersToValues)
void	ICrySLResultsListener.collectedValues(AnalysisSeedWithSpecification seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)
AnalysisSeedWithSpecification	CryptoScanner.getOrCreateSeedWithSpec(AnalysisSeedWithSpecification factAtStatement)

Constructors in crypto.analysis with parameters of type AnalysisSeedWithSpecification

Constructor	Description
HiddenPredicate(CrySLPredicate predicate, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> parametersToValues2, AnalysisSeedWithSpecification generatingSeed, HiddenPredicate.HiddenPredicateType type)

Uses of AnalysisSeedWithSpecification in crypto.constraints

Methods in crypto.constraints that return AnalysisSeedWithSpecification

Modifier and Type	Method	Description
AnalysisSeedWithSpecification	ConstraintSolver.getObject()

Constructors in crypto.constraints with parameters of type AnalysisSeedWithSpecification

Constructor	Description
ConstraintSolver(AnalysisSeedWithSpecification object, Collection<boomerang.jimple.Statement> collectedCalls, CrySLResultsReporter crySLResultsReporter)

Uses of AnalysisSeedWithSpecification in crypto.reporting

Methods in crypto.reporting with parameters of type AnalysisSeedWithSpecification

Modifier and Type	Method	Description
void	ErrorMarkerListener.afterConstraintCheck(AnalysisSeedWithSpecification arg0)
void	ErrorMarkerListener.afterPredicateCheck(AnalysisSeedWithSpecification arg0)
void	ErrorMarkerListener.beforeConstraintCheck(AnalysisSeedWithSpecification arg0)
void	ErrorMarkerListener.beforePredicateCheck(AnalysisSeedWithSpecification arg0)
void	CollectErrorListener.checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification, Collection<ISLConstraint> relConstraints)
void	ErrorMarkerListener.checkedConstraints(AnalysisSeedWithSpecification arg0, Collection<ISLConstraint> arg1)
void	CollectErrorListener.collectedValues(AnalysisSeedWithSpecification seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)
void	ErrorMarkerListener.collectedValues(AnalysisSeedWithSpecification arg0, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> arg1)