Package crypto.analysis

Class AnalysisSeedWithSpecification

java.lang.Object

boomerang.Query

boomerang.ForwardQuery

boomerang.WeightedForwardQuery<typestate.TransitionFunction>

crypto.analysis.IAnalysisSeed

crypto.analysis.AnalysisSeedWithSpecification

public class AnalysisSeedWithSpecification
extends IAnalysisSeed

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<boomerang.jimple.Statement,soot.SootMethod>	allCallsOnObject

Fields inherited from class crypto.analysis.IAnalysisSeed

cryptoScanner, predicateHandler

Constructor Summary

Constructors

Constructor	Description
AnalysisSeedWithSpecification(CryptoScanner cryptoScanner, boomerang.jimple.Statement stmt, boomerang.jimple.Val val, ClassSpecification spec)

Method Summary

Modifier and Type	Method	Description
void	addEnsuredPredicate(EnsuredCrySLPredicate ensPred)
boolean	equals(Object obj)
void	execute()
Map<boomerang.jimple.Statement,soot.SootMethod>	getAllCallsOnObject()
Set<sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val>>	getDataFlowPath()
Set<ISLConstraint>	getMissingPredicates()
ExtractParameterAnalysis	getParameterAnalysis()
ClassSpecification	getSpec()
int	hashCode()
boolean	isSecure()
void	registerResultsHandler(ResultsHandler handler)
void	setSecure(boolean secure)
String	toString()

Methods inherited from class crypto.analysis.IAnalysisSeed

getMethod, getObjectId

Methods inherited from class boomerang.WeightedForwardQuery

weight

Methods inherited from class boomerang.Query

asNode, getType, stmt, var

Methods inherited from class java.lang.Object

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

Field Detail

allCallsOnObject

protected Map<boomerang.jimple.Statement,soot.SootMethod> allCallsOnObject

Constructor Detail

AnalysisSeedWithSpecification

public AnalysisSeedWithSpecification(CryptoScanner cryptoScanner,
                                     boomerang.jimple.Statement stmt,
                                     boomerang.jimple.Val val,
                                     ClassSpecification spec)

Method Detail

toString

public String toString()

Overrides:

toString in class boomerang.ForwardQuery

execute

public void execute()

registerResultsHandler

public void registerResultsHandler(ResultsHandler handler)

getSpec

public ClassSpecification getSpec()

addEnsuredPredicate

public void addEnsuredPredicate(EnsuredCrySLPredicate ensPred)

getMissingPredicates

public Set<ISLConstraint> getMissingPredicates()

getParameterAnalysis

public ExtractParameterAnalysis getParameterAnalysis()

hashCode

public int hashCode()

Overrides:

hashCode in class boomerang.Query

equals

public boolean equals(Object obj)

Overrides:

equals in class boomerang.Query

isSecure

public boolean isSecure()

setSecure

public void setSecure(boolean secure)

getDataFlowPath

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

Specified by:

getDataFlowPath in class IAnalysisSeed

getAllCallsOnObject

public Map<boomerang.jimple.Statement,soot.SootMethod> getAllCallsOnObject()