Package crypto.analysis

Class AnalysisSeedWithEnsuredPredicate

java.lang.Object

boomerang.Query

boomerang.ForwardQuery

boomerang.WeightedForwardQuery<typestate.TransitionFunction>

crypto.analysis.IAnalysisSeed

crypto.analysis.AnalysisSeedWithEnsuredPredicate

public class AnalysisSeedWithEnsuredPredicate
extends IAnalysisSeed

Field Summary

Fields inherited from class crypto.analysis.IAnalysisSeed

cryptoScanner, errorCollection, predicateHandler

Constructor Summary

Constructors

Constructor	Description
AnalysisSeedWithEnsuredPredicate(CryptoScanner cryptoScanner, sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> delegate)

Method Summary

Modifier and Type	Method	Description
void	addEnsuredPredicate(EnsuredCrySLPredicate pred)
protected void	ensurePredicates(EnsuredCrySLPredicate pred)
void	execute()
Set<sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val>>	getDataFlowPath()
String	toString()

Methods inherited from class crypto.analysis.IAnalysisSeed

addError, getErrors, getMethod, getObjectId

Methods inherited from class boomerang.WeightedForwardQuery

weight

Methods inherited from class boomerang.Query

asNode, equals, getType, hashCode, stmt, var

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AnalysisSeedWithEnsuredPredicate

public AnalysisSeedWithEnsuredPredicate(CryptoScanner cryptoScanner,
                                        sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val> delegate)

Method Detail

execute

public void execute()

ensurePredicates

protected void ensurePredicates(EnsuredCrySLPredicate pred)

addEnsuredPredicate

public void addEnsuredPredicate(EnsuredCrySLPredicate pred)

toString

public String toString()

Overrides:

toString in class boomerang.ForwardQuery

getDataFlowPath

public Set<sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val>> getDataFlowPath()

Specified by:

getDataFlowPath in class IAnalysisSeed