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
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected voidaddToWorkList(IAnalysisSeed analysisSeedWithSpecification)boomerang.debugger.Debugger<typestate.TransitionFunction>debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> solver, IAnalysisSeed analyzedObject)CrySLResultsReportergetAnalysisListener()Collection<AnalysisSeedWithSpecification>getAnalysisSeeds()List<ClassSpecification>getClassSpecifications()Collection<String>getForbiddenPredicates()Collection<String>getIgnoredSections()AnalysisSeedWithEnsuredPredicategetOrCreateSeed(sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> factAtStatement)AnalysisSeedWithSpecificationgetOrCreateSeedWithSpec(AnalysisSeedWithSpecification factAtStatement)PredicateHandlergetPredicateHandler()abstract boomerang.callgraph.ObservableICFG<soot.Unit,soot.SootMethod>icfg()protected booleanisOnIgnoreSectionList(soot.SootMethod method)voidscan(List<CrySLRule> specs)
-
-
-
Method Detail
-
icfg
public abstract boomerang.callgraph.ObservableICFG<soot.Unit,soot.SootMethod> icfg()
-
getAnalysisListener
public CrySLResultsReporter getAnalysisListener()
-
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()
-
-