Package crypto.analysis

Class AnalysisPrinter

java.lang.Object

crypto.analysis.AnalysisPrinter

All Implemented Interfaces:

IAnalysisListener

public class AnalysisPrinter
extends Object
implements IAnalysisListener

Constructor Summary

Constructors

Constructor	Description
AnalysisPrinter()

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 param, boomerang.scene.Statement statement)
void	onReportedError(IAnalysisSeed analysisSeed, AbstractError error)
void	onSeedFinished(IAnalysisSeed analysisSeed)
void	onSeedStarted(IAnalysisSeed analysisSeed)
void	onTypestateAnalysisTimeout(IAnalysisSeed analysisSeed)

Methods inherited from class java.lang.Object

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

Constructor Detail

AnalysisPrinter

public AnalysisPrinter()

Method Detail

beforeAnalysis

public void beforeAnalysis()

Specified by:

beforeAnalysis in interface IAnalysisListener

afterAnalysis

public void afterAnalysis()

Specified by:

afterAnalysis in interface IAnalysisListener

beforeTypestateAnalysis

public void beforeTypestateAnalysis()

Specified by:

beforeTypestateAnalysis in interface IAnalysisListener

afterTypestateAnalysis

public void afterTypestateAnalysis()

Specified by:

afterTypestateAnalysis in interface IAnalysisListener

onDiscoveredSeeds

public void onDiscoveredSeeds(Collection<IAnalysisSeed> discoveredSeeds)

Specified by:

onDiscoveredSeeds in interface IAnalysisListener

onSeedStarted

public void onSeedStarted(IAnalysisSeed analysisSeed)

Specified by:

onSeedStarted in interface IAnalysisListener

onSeedFinished

public void onSeedFinished(IAnalysisSeed analysisSeed)

Specified by:

onSeedFinished in interface IAnalysisListener

onTypestateAnalysisTimeout

public void onTypestateAnalysisTimeout(IAnalysisSeed analysisSeed)

Specified by:

onTypestateAnalysisTimeout in interface IAnalysisListener

onExtractParameterAnalysisTimeout

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

Specified by:

onExtractParameterAnalysisTimeout in interface IAnalysisListener

beforeConstraintsCheck

public void beforeConstraintsCheck(IAnalysisSeed analysisSeed)

Specified by:

beforeConstraintsCheck in interface IAnalysisListener

afterConstraintsCheck

public void afterConstraintsCheck(IAnalysisSeed analysisSeed,
                                  int violatedConstraints)

Specified by:

afterConstraintsCheck in interface IAnalysisListener

beforePredicateCheck

public void beforePredicateCheck()

Specified by:

beforePredicateCheck in interface IAnalysisListener

afterPredicateCheck

public void afterPredicateCheck()

Specified by:

afterPredicateCheck in interface IAnalysisListener

onReportedError

public void onReportedError(IAnalysisSeed analysisSeed,
                            AbstractError error)

Specified by:

onReportedError in interface IAnalysisListener

addProgress

public void addProgress(int current,
                        int total)

Specified by:

addProgress in interface IAnalysisListener