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>	getClassSpecifications()
Collection<String>	getForbiddenPredicates()
Collection<String>	getIgnoredSections()
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()
protected boolean	isOnIgnoreSectionList(soot.SootMethod method)
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)

getClassSpecifications

public List<ClassSpecification> getClassSpecifications()

addToWorkList

protected void addToWorkList(IAnalysisSeed analysisSeedWithSpecification)

isOnIgnoreSectionList

protected boolean isOnIgnoreSectionList(soot.SootMethod method)

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

getForbiddenPredicates

public Collection<String> getForbiddenPredicates()

getIgnoredSections

public Collection<String> getIgnoredSections()