Package crypto.analysis

Interface ICrySLPerformanceListener

All Known Implementing Classes:

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

public interface ICrySLPerformanceListener

Method Summary

Modifier and Type	Method	Description
void	afterAnalysis()
void	afterConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	afterPredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	beforeAnalysis()
void	beforeConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	beforePredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)
void	boomerangQueryFinished(boomerang.Query seed, boomerang.BackwardQuery q)
void	boomerangQueryStarted(boomerang.Query seed, boomerang.BackwardQuery q)
void	ensuredPredicates(com.google.common.collect.Table<boomerang.jimple.Statement,boomerang.jimple.Val,Set<EnsuredCrySLPredicate>> existingPredicates, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> expectedPredicates, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> missingPredicates)
void	seedStarted(IAnalysisSeed analysisSeedWithSpecification)

Method Detail

beforeAnalysis

void beforeAnalysis()

afterAnalysis

void afterAnalysis()

beforeConstraintCheck

void beforeConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)

afterConstraintCheck

void afterConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)

beforePredicateCheck

void beforePredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)

afterPredicateCheck

void afterPredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)

seedStarted

void seedStarted(IAnalysisSeed analysisSeedWithSpecification)

boomerangQueryStarted

void boomerangQueryStarted(boomerang.Query seed,
                           boomerang.BackwardQuery q)

boomerangQueryFinished

void boomerangQueryFinished(boomerang.Query seed,
                            boomerang.BackwardQuery q)

ensuredPredicates

void ensuredPredicates(com.google.common.collect.Table<boomerang.jimple.Statement,boomerang.jimple.Val,Set<EnsuredCrySLPredicate>> existingPredicates,
                       com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> expectedPredicates,
                       com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> missingPredicates)