Package crypto.analysis

Class IAnalysisSeed

java.lang.Object

boomerang.Query

boomerang.ForwardQuery

boomerang.WeightedForwardQuery<typestate.TransitionFunction>

crypto.analysis.IAnalysisSeed

Direct Known Subclasses:

AnalysisSeedWithEnsuredPredicate, AnalysisSeedWithSpecification

public abstract class IAnalysisSeed
extends boomerang.WeightedForwardQuery<typestate.TransitionFunction>

Field Summary

Fields

Modifier and Type	Field	Description
protected CryptoScanner	cryptoScanner
protected List<AbstractError>	errorCollection
protected PredicateHandler	predicateHandler

Constructor Summary

Constructors

Constructor	Description
IAnalysisSeed(CryptoScanner scanner, boomerang.jimple.Statement stmt, boomerang.jimple.Val fact, typestate.TransitionFunction func)

Method Summary

Modifier and Type	Method	Description
void	addError(AbstractError e)
abstract Set<sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val>>	getDataFlowPath()
List<AbstractError>	getErrors()
soot.SootMethod	getMethod()
String	getObjectId()

Methods inherited from class boomerang.WeightedForwardQuery

weight

Methods inherited from class boomerang.ForwardQuery

toString

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

Field Detail

cryptoScanner

protected final CryptoScanner cryptoScanner

predicateHandler

protected final PredicateHandler predicateHandler

errorCollection

protected final List<AbstractError> errorCollection

Constructor Detail

IAnalysisSeed

public IAnalysisSeed(CryptoScanner scanner,
                     boomerang.jimple.Statement stmt,
                     boomerang.jimple.Val fact,
                     typestate.TransitionFunction func)

Method Detail

getMethod

public soot.SootMethod getMethod()

addError

public void addError(AbstractError e)

getErrors

public List<AbstractError> getErrors()

getObjectId

public String getObjectId()

getDataFlowPath

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