Package crypto.reporting

Class ErrorMarkerListener

java.lang.Object

crypto.analysis.CrySLAnalysisListener

crypto.reporting.ErrorMarkerListener

All Implemented Interfaces:

ICrySLPerformanceListener, ICrySLResultsListener

Direct Known Subclasses:

Reporter

public class ErrorMarkerListener
extends CrySLAnalysisListener

This listener is notified of any misuses the analysis finds.

Author:

Stefan Krueger, Johannes Spaeth

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<Class<?>,Integer>	errorMarkerCount
protected com.google.common.collect.Table<soot.SootClass,soot.SootMethod,Set<AbstractError>>	errorMarkers
protected List<IAnalysisSeed>	secureObjects

Constructor Summary

Constructors

Constructor	Description
ErrorMarkerListener()

Method Summary

Modifier and Type	Method	Description
void	addProgress(int processedSeeds, int workListsize)
void	afterAnalysis()
void	afterConstraintCheck(AnalysisSeedWithSpecification arg0)
void	afterPredicateCheck(AnalysisSeedWithSpecification arg0)
void	beforeAnalysis()
void	beforeConstraintCheck(AnalysisSeedWithSpecification arg0)
void	beforePredicateCheck(AnalysisSeedWithSpecification arg0)
void	boomerangQueryFinished(boomerang.Query arg0, boomerang.BackwardQuery arg1)
void	boomerangQueryStarted(boomerang.Query arg0, boomerang.BackwardQuery arg1)
void	checkedConstraints(AnalysisSeedWithSpecification arg0, Collection<ISLConstraint> arg1)
void	collectedValues(AnalysisSeedWithSpecification arg0, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> arg1)
void	discoveredSeed(IAnalysisSeed arg0)
void	ensuredPredicates(com.google.common.collect.Table<boomerang.jimple.Statement,boomerang.jimple.Val,Set<EnsuredCrySLPredicate>> arg0, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> arg1, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> arg2)
static String	filterQuotes(String dirty)
void	onSecureObjectFound(IAnalysisSeed analysisObject)
void	onSeedFinished(IAnalysisSeed analysisObject, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> arg1)
void	onSeedTimeout(sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> arg0)
void	reportError(AbstractError error)
void	seedStarted(IAnalysisSeed arg0)

Methods inherited from class java.lang.Object

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

Field Detail

errorMarkers

protected final com.google.common.collect.Table<soot.SootClass,soot.SootMethod,Set<AbstractError>> errorMarkers

errorMarkerCount

protected final Map<Class<?>,Integer> errorMarkerCount

secureObjects

protected final List<IAnalysisSeed> secureObjects

Constructor Detail

ErrorMarkerListener

public ErrorMarkerListener()

Method Detail

reportError

public void reportError(AbstractError error)

afterAnalysis

public void afterAnalysis()

afterConstraintCheck

public void afterConstraintCheck(AnalysisSeedWithSpecification arg0)

afterPredicateCheck

public void afterPredicateCheck(AnalysisSeedWithSpecification arg0)

beforeAnalysis

public void beforeAnalysis()

beforeConstraintCheck

public void beforeConstraintCheck(AnalysisSeedWithSpecification arg0)

beforePredicateCheck

public void beforePredicateCheck(AnalysisSeedWithSpecification arg0)

boomerangQueryFinished

public void boomerangQueryFinished(boomerang.Query arg0,
                                   boomerang.BackwardQuery arg1)

boomerangQueryStarted

public void boomerangQueryStarted(boomerang.Query arg0,
                                  boomerang.BackwardQuery arg1)

checkedConstraints

public void checkedConstraints(AnalysisSeedWithSpecification arg0,
                               Collection<ISLConstraint> arg1)

collectedValues

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

discoveredSeed

public void discoveredSeed(IAnalysisSeed arg0)

ensuredPredicates

public void ensuredPredicates(com.google.common.collect.Table<boomerang.jimple.Statement,boomerang.jimple.Val,Set<EnsuredCrySLPredicate>> arg0,
                              com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> arg1,
                              com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> arg2)

onSeedFinished

public void onSeedFinished(IAnalysisSeed analysisObject,
                           boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> arg1)

onSecureObjectFound

public void onSecureObjectFound(IAnalysisSeed analysisObject)

onSeedTimeout

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

seedStarted

public void seedStarted(IAnalysisSeed arg0)

filterQuotes

public static String filterQuotes(String dirty)

addProgress

public void addProgress(int processedSeeds,
                        int workListsize)