Uses of Class crypto.analysis.IAnalysisSeed (CryptoAnalysis 3.1.0 API)

Packages that use IAnalysisSeed
Package Description

crypto.analysis

crypto.analysis.errors

crypto.predicates

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 with parameters of type IAnalysisSeed
Modifier and Type	Method	Description
`protected void`	CryptoScanner.`addToWorkList(IAnalysisSeed analysisSeedWithSpecification)`
`boomerang.debugger.Debugger<typestate.TransitionFunction>`	CryptoScanner.`debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> solver, IAnalysisSeed analyzedObject)`
`void`	CrySLResultsReporter.`discoveredSeed(IAnalysisSeed curr)`
`void`	ICrySLResultsListener.`discoveredSeed(IAnalysisSeed curr)`
`void`	CrySLResultsReporter.`onSecureObjectFound(IAnalysisSeed seed)`
`void`	ICrySLResultsListener.`onSecureObjectFound(IAnalysisSeed analysisObject)`
`void`	CrySLResultsReporter.`onSeedFinished(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> analysisResults)`
`void`	ICrySLResultsListener.`onSeedFinished(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> analysisResults)`
`void`	CrySLResultsReporter.`reportError(IAnalysisSeed object, AbstractError err)`
`void`	CrySLResultsReporter.`seedStarted(IAnalysisSeed analysisSeedWithSpecification)`
`void`	ICrySLPerformanceListener.`seedStarted(IAnalysisSeed analysisSeedWithSpecification)`

Uses of IAnalysisSeed in crypto.analysis.errors

Methods in crypto.analysis.errors that return IAnalysisSeed
Modifier and Type	Method	Description
`IAnalysisSeed`	ErrorWithObjectAllocation.`getObjectLocation()`

Constructors in crypto.analysis.errors with parameters of type IAnalysisSeed
Constructor	Description
`ConstraintError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)`
`ErrorWithObjectAllocation(boomerang.jimple.Statement errorLocation, CrySLRule rule, IAnalysisSeed objectAllocationLocation)`
`HardCodedError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)`
`IncompleteOperationError(boomerang.jimple.Statement errorLocation, boomerang.jimple.Val errorVariable, CrySLRule rule, IAnalysisSeed objectLocation, Collection<soot.SootMethod> expectedMethodsToBeCalled)`
`InstanceOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)`
`NeverTypeOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)`
`TypestateError(boomerang.jimple.Statement stmt, CrySLRule rule, IAnalysisSeed object, Collection<soot.SootMethod> expectedMethodCalls)`

Uses of IAnalysisSeed in crypto.predicates

Methods in crypto.predicates with parameters of type IAnalysisSeed
Modifier and Type	Method	Description
`boolean`	PredicateHandler.`addNewPred(IAnalysisSeed seedObj, boomerang.jimple.Statement statement, boomerang.jimple.Val variable, EnsuredCrySLPredicate ensPred)`
`void`	PredicateHandler.`expectPredicate(IAnalysisSeed object, boomerang.jimple.Statement stmt, CrySLPredicate predToBeEnsured)`
`void`	PredicateHandler.`reportForbiddenPredicate(EnsuredCrySLPredicate predToBeChecked, boomerang.jimple.Statement location, IAnalysisSeed seedObj)`

Uses of IAnalysisSeed in crypto.reporting

Fields in crypto.reporting with type parameters of type IAnalysisSeed
Modifier and Type	Field	Description
`protected Collection<IAnalysisSeed>`	Reporter.`objects`	A `Collection` to store and count all analyzed objects
`protected List<IAnalysisSeed>`	ErrorMarkerListener.`secureObjects`

Methods in crypto.reporting that return types with arguments of type IAnalysisSeed
Modifier and Type	Method	Description
`Collection<IAnalysisSeed>`	Reporter.`getObjects()`

Methods in crypto.reporting with parameters of type IAnalysisSeed
Modifier and Type	Method	Description
`void`	CollectErrorListener.`discoveredSeed(IAnalysisSeed curr)`
`void`	ErrorMarkerListener.`discoveredSeed(IAnalysisSeed arg0)`
`void`	Reporter.`discoveredSeed(IAnalysisSeed object)`
`void`	CollectErrorListener.`onSecureObjectFound(IAnalysisSeed analysisObject)`
`void`	ErrorMarkerListener.`onSecureObjectFound(IAnalysisSeed analysisObject)`
`void`	CollectErrorListener.`onSeedFinished(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> analysisResults)`
`void`	ErrorMarkerListener.`onSeedFinished(IAnalysisSeed analysisObject, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> arg1)`
`void`	Reporter.`onSeedFinished(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> forwardResults)`
`void`	ErrorMarkerListener.`seedStarted(IAnalysisSeed arg0)`

Method parameters in crypto.reporting with type arguments of type IAnalysisSeed
Modifier and Type	Method	Description
`static String`	ReporterHelper.`generateReport(List<CrySLRule> rules, Collection<IAnalysisSeed> objects, List<IAnalysisSeed> secureObjects, com.google.common.collect.Table<soot.SootClass,soot.SootMethod,Set<AbstractError>> errorMarkers, Map<Class<?>,Integer> errorMarkerCount, ReportStatistics statistics)`	Generates an analysis report content for the `CommandLineReporter` and `TXTReporter`.