Package crypto.analysis

Class IAnalysisSeed

java.lang.Object

crypto.analysis.IAnalysisSeed

Direct Known Subclasses:

AnalysisSeedWithEnsuredPredicate, AnalysisSeedWithSpecification

public abstract class IAnalysisSeed
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction>	analysisResults
protected Collection<AbstractError>	errorCollection
protected static org.slf4j.Logger	LOGGER
protected PredicateHandler	predicateHandler
protected CryptoScanner	scanner

Constructor Summary

Constructors

Constructor	Description
IAnalysisSeed(CryptoScanner scanner, boomerang.scene.Statement origin, boomerang.scene.Val fact, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

Method Summary

Modifier and Type	Method	Description
void	addError(AbstractError e)
boolean	equals(Object obj)
abstract void	execute()
boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction>	getAnalysisResults()
Collection<AbstractError>	getErrors()
boomerang.scene.Val	getFact()
boomerang.scene.Method	getMethod()
String	getObjectId()
boomerang.scene.Statement	getOrigin()
CryptoScanner	getScanner()
boomerang.scene.Type	getType()
int	hashCode()
boolean	isSecure()
void	setSecure(boolean secure)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

LOGGER

protected static final org.slf4j.Logger LOGGER

scanner

protected final CryptoScanner scanner

predicateHandler

protected final PredicateHandler predicateHandler

errorCollection

protected final Collection<AbstractError> errorCollection

analysisResults

protected final boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> analysisResults

Constructor Detail

IAnalysisSeed

public IAnalysisSeed(CryptoScanner scanner,
                     boomerang.scene.Statement origin,
                     boomerang.scene.Val fact,
                     boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

Method Detail

execute

public abstract void execute()

getMethod

public boomerang.scene.Method getMethod()

getOrigin

public boomerang.scene.Statement getOrigin()

getFact

public boomerang.scene.Val getFact()

getType

public boomerang.scene.Type getType()

isSecure

public boolean isSecure()

setSecure

public void setSecure(boolean secure)

getAnalysisResults

public boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> getAnalysisResults()

addError

public void addError(AbstractError e)

getErrors

public Collection<AbstractError> getErrors()

getScanner

public CryptoScanner getScanner()

getObjectId

public String getObjectId()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object