Package crypto.analysis

Class CrySLResultsReporter

java.lang.Object

crypto.analysis.CrySLResultsReporter

public class CrySLResultsReporter
extends Object

Constructor Summary

Constructors

Constructor	Description
CrySLResultsReporter()

Method Summary

Modifier and Type	Method	Description
void	addProgress(int processedSeeds, int workListsize)
boolean	addReportListener(ICrySLResultsListener listener)
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	checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification, Collection<ISLConstraint> relConstraints)
void	collectedValues(AnalysisSeedWithSpecification seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> parametersToValues)
void	discoveredSeed(IAnalysisSeed curr)
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	onSecureObjectFound(IAnalysisSeed seed)
void	onSeedFinished(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> analysisResults)
void	onSeedTimeout(sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> seed)
boolean	removeReportListener(CrySLAnalysisListener listener)
void	reportError(IAnalysisSeed object, AbstractError err)
void	seedStarted(IAnalysisSeed analysisSeedWithSpecification)

Methods inherited from class java.lang.Object

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

Constructor Detail

CrySLResultsReporter

public CrySLResultsReporter()

Method Detail

addReportListener

public boolean addReportListener(ICrySLResultsListener listener)

removeReportListener

public boolean removeReportListener(CrySLAnalysisListener listener)

collectedValues

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

discoveredSeed

public void discoveredSeed(IAnalysisSeed curr)

ensuredPredicates

public 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)

checkedConstraints

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

beforeAnalysis

public void beforeAnalysis()

afterAnalysis

public void afterAnalysis()

beforeConstraintCheck

public void beforeConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)

afterConstraintCheck

public void afterConstraintCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)

beforePredicateCheck

public void beforePredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)

afterPredicateCheck

public void afterPredicateCheck(AnalysisSeedWithSpecification analysisSeedWithSpecification)

seedStarted

public void seedStarted(IAnalysisSeed analysisSeedWithSpecification)

boomerangQueryStarted

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

boomerangQueryFinished

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

onSeedFinished

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

onSeedTimeout

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

reportError

public void reportError(IAnalysisSeed object,
                        AbstractError err)

onSecureObjectFound

public void onSecureObjectFound(IAnalysisSeed seed)

addProgress

public void addProgress(int processedSeeds,
                        int workListsize)