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, errorCollection, 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)	Add an ensured predicate to the seed and implicitly rerun all constraint and predicate checks
void	addHiddenPredicatesToError(RequiredPredicateError reqPredError)
Collection<ISLConstraint>	checkPredicates()	Check, whether all required predicates are satisfied, and return a set with all predicates that are not satisfied.
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()
ExtractParameterAnalysis	getParameterAnalysis()
ClassSpecification	getSpec()
int	hashCode()
boolean	isSecure()
void	registerResultsHandler(ResultsHandler handler)
Collection<AbstractError>	retrieveErrorsForPredCondition(CrySLPredicate pred)
void	setSecure(boolean secure)
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, 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)

addEnsuredPredicate

public void addEnsuredPredicate(EnsuredCrySLPredicate ensPred)

Add an ensured predicate to the seed and implicitly rerun all constraint and predicate checks

Parameters:

ensPred - the ensured predicate

checkPredicates

public Collection<ISLConstraint> checkPredicates()

Check, whether all required predicates are satisfied, and return a set with all predicates that are not satisfied. If the set is empty, all required predicate constraints are satisfied.

Returns:

remainingPredicates predicates that are not satisfied

retrieveErrorsForPredCondition

public Collection<AbstractError> retrieveErrorsForPredCondition(CrySLPredicate pred)

addHiddenPredicatesToError

public void addHiddenPredicatesToError(RequiredPredicateError reqPredError)

getSpec

public ClassSpecification getSpec()

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