Package crypto.reporting

Class CollectErrorListener

java.lang.Object

crypto.reporting.CollectErrorListener

All Implemented Interfaces:

ICrySLResultsListener

public class CollectErrorListener
extends Object
implements ICrySLResultsListener

Constructor Summary

Constructors

Constructor	Description
CollectErrorListener()

Method Summary

Modifier and Type	Method	Description
void	addProgress(int processedSeeds, int workListsize)
void	checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification, Collection<ISLConstraint> relConstraints)
void	collectedValues(AnalysisSeedWithSpecification seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)
void	discoveredSeed(IAnalysisSeed curr)
Collection<AbstractError>	getErrors()
void	onSecureObjectFound(IAnalysisSeed analysisObject)
void	onSeedFinished(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> analysisResults)
void	onSeedTimeout(sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> seed)
void	reportError(AbstractError error)

Methods inherited from class java.lang.Object

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

Constructor Detail

CollectErrorListener

public CollectErrorListener()

Method Detail

reportError

public void reportError(AbstractError error)

Specified by:

reportError in interface ICrySLResultsListener

checkedConstraints

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

Specified by:

checkedConstraints in interface ICrySLResultsListener

onSeedTimeout

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

Specified by:

onSeedTimeout in interface ICrySLResultsListener

onSeedFinished

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

Specified by:

onSeedFinished in interface ICrySLResultsListener

collectedValues

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

Specified by:

collectedValues in interface ICrySLResultsListener

discoveredSeed

public void discoveredSeed(IAnalysisSeed curr)

Specified by:

discoveredSeed in interface ICrySLResultsListener

onSecureObjectFound

public void onSecureObjectFound(IAnalysisSeed analysisObject)

Specified by:

onSecureObjectFound in interface ICrySLResultsListener

getErrors

public Collection<AbstractError> getErrors()

addProgress

public void addProgress(int processedSeeds,
                        int workListsize)

Specified by:

addProgress in interface ICrySLResultsListener