Package crypto.listener

Interface IAnalysisListener

All Known Implementing Classes:

AnalysisPrinter

public interface IAnalysisListener

Method Summary

Modifier and Type	Method	Description
void	addProgress(int current, int total)
void	afterAnalysis()
void	afterConstraintsCheck(IAnalysisSeed analysisSeed, int violatedConstraints)
void	afterPredicateCheck()
void	afterTypestateAnalysis()
void	beforeAnalysis()
void	beforeConstraintsCheck(IAnalysisSeed analysisSeed)
void	beforePredicateCheck()
void	beforeTypestateAnalysis()
void	onDiscoveredSeeds(Collection<IAnalysisSeed> discoveredSeeds)
void	onExtractParameterAnalysisTimeout(IAnalysisSeed analysisSeed, boomerang.scene.Val parameter, boomerang.scene.Statement statement)
void	onReportedError(IAnalysisSeed analysisSeed, AbstractError error)
void	onSeedFinished(IAnalysisSeed analysisSeed)
void	onSeedStarted(IAnalysisSeed analysisSeed)
void	onTypestateAnalysisTimeout(IAnalysisSeed analysisSeed)

Method Detail

beforeAnalysis

void beforeAnalysis()

afterAnalysis

void afterAnalysis()

beforeTypestateAnalysis

void beforeTypestateAnalysis()

afterTypestateAnalysis

void afterTypestateAnalysis()

onDiscoveredSeeds

void onDiscoveredSeeds(Collection<IAnalysisSeed> discoveredSeeds)

onSeedStarted

void onSeedStarted(IAnalysisSeed analysisSeed)

onSeedFinished

void onSeedFinished(IAnalysisSeed analysisSeed)

onTypestateAnalysisTimeout

void onTypestateAnalysisTimeout(IAnalysisSeed analysisSeed)

onExtractParameterAnalysisTimeout

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

beforeConstraintsCheck

void beforeConstraintsCheck(IAnalysisSeed analysisSeed)

afterConstraintsCheck

void afterConstraintsCheck(IAnalysisSeed analysisSeed,
                           int violatedConstraints)

beforePredicateCheck

void beforePredicateCheck()

afterPredicateCheck

void afterPredicateCheck()

onReportedError

void onReportedError(IAnalysisSeed analysisSeed,
                     AbstractError error)

addProgress

void addProgress(int current,
                 int total)