Package crypto.analysis

Class CryptoScanner

java.lang.Object

crypto.analysis.CryptoScanner

public abstract class CryptoScanner
extends Object

Constructor Summary

Constructors

Constructor	Description
CryptoScanner()

Method Summary

Modifier and Type	Method	Description
protected void	addToWorkList(IAnalysisSeed analysisSeedWithSpecification)
boomerang.debugger.Debugger<typestate.TransitionFunction>	debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> solver, IAnalysisSeed analyzedObject)
CrySLResultsReporter	getAnalysisListener()
Collection<AnalysisSeedWithSpecification>	getAnalysisSeeds()
List<ClassSpecification>	getClassSpecifictions()
AnalysisSeedWithEnsuredPredicate	getOrCreateSeed(sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> factAtStatement)
AnalysisSeedWithSpecification	getOrCreateSeedWithSpec(AnalysisSeedWithSpecification factAtStatement)
PredicateHandler	getPredicateHandler()
abstract boomerang.callgraph.ObservableICFG<soot.Unit,soot.SootMethod>	icfg()
void	scan(List<CrySLRule> specs)

Methods inherited from class java.lang.Object

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

Constructor Detail

CryptoScanner

public CryptoScanner()

Method Detail

icfg

public abstract boomerang.callgraph.ObservableICFG<soot.Unit,soot.SootMethod> icfg()

getAnalysisListener

public CrySLResultsReporter getAnalysisListener()

scan

public void scan(List<CrySLRule> specs)

getClassSpecifictions

public List<ClassSpecification> getClassSpecifictions()

addToWorkList

protected void addToWorkList(IAnalysisSeed analysisSeedWithSpecification)

getOrCreateSeed

public AnalysisSeedWithEnsuredPredicate getOrCreateSeed(sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> factAtStatement)

getOrCreateSeedWithSpec

public AnalysisSeedWithSpecification getOrCreateSeedWithSpec(AnalysisSeedWithSpecification factAtStatement)

debugger

public boomerang.debugger.Debugger<typestate.TransitionFunction> debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> solver,
                                                                          IAnalysisSeed analyzedObject)

getPredicateHandler

public PredicateHandler getPredicateHandler()

getAnalysisSeeds

public Collection<AnalysisSeedWithSpecification> getAnalysisSeeds()