Package crypto.analysis

Class AnalysisReporter

java.lang.Object

crypto.analysis.AnalysisReporter

public class AnalysisReporter
extends Object

Constructor Summary

Constructors

Constructor	Description
AnalysisReporter()

Method Summary

Modifier and Type	Method	Description
void	addAnalysisListener(IAnalysisListener analysisListener)
void	addErrorListener(IErrorListener errorListener)
void	addProgress(int current, int total)
void	addResultsListener(IResultsListener resultsListener)
void	afterAnalysis()
void	afterConstraintsCheck(IAnalysisSeed analysisSeed, int violatedConstraints)
void	afterPredicateCheck()
void	afterTypestateAnalysis()
void	beforeAnalysis()
void	beforeConstraintsCheck(IAnalysisSeed analysisSeed)
void	beforePredicateCheck()
void	beforeTypestateAnalysis()
void	checkedConstraints(IAnalysisSeed seed, Collection<ISLConstraint> constraints)
void	collectedValues(IAnalysisSeed seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)
void	ensuredPredicates(com.google.common.collect.Table<boomerang.scene.Statement,boomerang.scene.Val,Set<EnsuredCrySLPredicate>> existingPredicates)
void	onDiscoveredSeeds(Collection<IAnalysisSeed> discoveredSeeds)
void	onExtractParameterAnalysisTimeout(IAnalysisSeed analysisSeed, boomerang.scene.Val parameter, boomerang.scene.Statement statement)
void	onSeedFinished(IAnalysisSeed analysisSeed)
void	onSeedStarted(IAnalysisSeed analysisSeed)
void	onTypestateAnalysisTimeout(IAnalysisSeed analysisSeed)
void	reportError(IAnalysisSeed seed, AbstractError error)
void	typestateAnalysisResults(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AnalysisReporter

public AnalysisReporter()

Method Detail

addAnalysisListener

public void addAnalysisListener(IAnalysisListener analysisListener)

addErrorListener

public void addErrorListener(IErrorListener errorListener)

addResultsListener

public void addResultsListener(IResultsListener resultsListener)

beforeAnalysis

public void beforeAnalysis()

afterAnalysis

public void afterAnalysis()

beforeTypestateAnalysis

public void beforeTypestateAnalysis()

afterTypestateAnalysis

public void afterTypestateAnalysis()

onDiscoveredSeeds

public void onDiscoveredSeeds(Collection<IAnalysisSeed> discoveredSeeds)

onSeedStarted

public void onSeedStarted(IAnalysisSeed analysisSeed)

onSeedFinished

public void onSeedFinished(IAnalysisSeed analysisSeed)

onTypestateAnalysisTimeout

public void onTypestateAnalysisTimeout(IAnalysisSeed analysisSeed)

onExtractParameterAnalysisTimeout

public void onExtractParameterAnalysisTimeout(IAnalysisSeed analysisSeed,
                                              boomerang.scene.Val parameter,
                                              boomerang.scene.Statement statement)

beforeConstraintsCheck

public void beforeConstraintsCheck(IAnalysisSeed analysisSeed)

afterConstraintsCheck

public void afterConstraintsCheck(IAnalysisSeed analysisSeed,
                                  int violatedConstraints)

beforePredicateCheck

public void beforePredicateCheck()

afterPredicateCheck

public void afterPredicateCheck()

addProgress

public void addProgress(int current,
                        int total)

typestateAnalysisResults

public void typestateAnalysisResults(IAnalysisSeed seed,
                                     boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

collectedValues

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

checkedConstraints

public void checkedConstraints(IAnalysisSeed seed,
                               Collection<ISLConstraint> constraints)

ensuredPredicates

public void ensuredPredicates(com.google.common.collect.Table<boomerang.scene.Statement,boomerang.scene.Val,Set<EnsuredCrySLPredicate>> existingPredicates)

reportError

public void reportError(IAnalysisSeed seed,
                        AbstractError error)