Package crypto.analysis

Class AnalysisSeedWithSpecification

java.lang.Object

crypto.analysis.IAnalysisSeed

crypto.analysis.AnalysisSeedWithSpecification

public class AnalysisSeedWithSpecification
extends IAnalysisSeed

Field Summary

Fields inherited from class crypto.analysis.IAnalysisSeed

analysisResults, errorCollection, LOGGER, predicateHandler, scanner

Constructor Summary

Constructors

Constructor	Description
AnalysisSeedWithSpecification(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results, CrySLRule specification)

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.scene.ControlFlowGraph.Edge,boomerang.scene.DeclaredMethod>	getAllCallsOnObject()
ExtractParameterAnalysis	getParameterAnalysis()
CrySLRule	getSpecification()
int	hashCode()
static AnalysisSeedWithSpecification	makeSeedForComparison(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact, CrySLRule rule)
void	registerResultsHandler(ResultsHandler handler)
Collection<AbstractError>	retrieveErrorsForPredCondition(CrySLPredicate pred)
String	toString()

Methods inherited from class crypto.analysis.IAnalysisSeed

addError, getAnalysisResults, getErrors, getFact, getMethod, getObjectId, getOrigin, getScanner, getType, isSecure, setSecure

Methods inherited from class java.lang.Object

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

Constructor Detail

AnalysisSeedWithSpecification

public AnalysisSeedWithSpecification(CryptoScanner scanner,
                                     boomerang.scene.Statement statement,
                                     boomerang.scene.Val fact,
                                     boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results,
                                     CrySLRule specification)

Method Detail

makeSeedForComparison

public static AnalysisSeedWithSpecification makeSeedForComparison(CryptoScanner scanner,
                                                                  boomerang.scene.Statement statement,
                                                                  boomerang.scene.Val fact,
                                                                  CrySLRule rule)

toString

public String toString()

Overrides:

toString in class IAnalysisSeed

execute

public void execute()

Specified by:

execute in class IAnalysisSeed

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)

getSpecification

public CrySLRule getSpecification()

getParameterAnalysis

public ExtractParameterAnalysis getParameterAnalysis()

getAllCallsOnObject

public Map<boomerang.scene.ControlFlowGraph.Edge,boomerang.scene.DeclaredMethod> getAllCallsOnObject()

hashCode

public int hashCode()

Overrides:

hashCode in class IAnalysisSeed

equals

public boolean equals(Object obj)

Overrides:

equals in class IAnalysisSeed