Package crypto.analysis

Interface ICrySLResultsListener

All Known Implementing Classes:

CollectErrorListener, CommandLineReporter, CrySLAnalysisListener, CSVReporter, CSVSummaryReporter, ErrorMarkerListener, GitHubAnnotationReporter, Reporter, SARIFReporter, TXTReporter

public interface ICrySLResultsListener

Method Summary

Modifier and Type	Method	Description
void	addProgress(int processedSeeds, int workListsize)
void	checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification, Collection<ISLConstraint> relConstraints)
void	collectedValues(AnalysisSeedWithSpecification seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)
void	discoveredSeed(IAnalysisSeed curr)
void	onSecureObjectFound(IAnalysisSeed analysisObject)
void	onSeedFinished(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> analysisResults)
void	onSeedTimeout(sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> seed)
void	reportError(AbstractError error)

Method Detail

reportError

void reportError(AbstractError error)

checkedConstraints

void checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification,
                        Collection<ISLConstraint> relConstraints)

onSeedTimeout

void onSeedTimeout(sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> seed)

onSeedFinished

void onSeedFinished(IAnalysisSeed seed,
                    boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> analysisResults)

collectedValues

void collectedValues(AnalysisSeedWithSpecification seed,
                     com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)

discoveredSeed

void discoveredSeed(IAnalysisSeed curr)

onSecureObjectFound

void onSecureObjectFound(IAnalysisSeed analysisObject)

addProgress

void addProgress(int processedSeeds,
                 int workListsize)