Package crypto.constraints

Class EvaluableConstraint

java.lang.Object

crypto.constraints.EvaluableConstraint

Direct Known Subclasses:

ComparisonConstraint, ExceptionConstraint, PredicateConstraint, ValueConstraint

public abstract class EvaluableConstraint
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected static org.slf4j.Logger	LOGGER

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	EvaluableConstraint(ISLConstraint origin, ConstraintSolver context)

Method Summary

Modifier and Type	Method	Description
abstract void	evaluate()
protected Map<String,CallSiteWithExtractedValue>	extractSootArray(CallSiteWithParamIndex callSite, ExtractedValue allocSite)	Function that finds the values assigned to a soot array.
protected Map<String,CallSiteWithExtractedValue>	extractValueAsString(String varName, ISLConstraint cons)
protected Collection<AbstractError>	getErrors()
static EvaluableConstraint	getInstance(ISLConstraint con, ConstraintSolver context)
boolean	hasErrors()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LOGGER

protected static final org.slf4j.Logger LOGGER

Constructor Detail

EvaluableConstraint

protected EvaluableConstraint(ISLConstraint origin,
                              ConstraintSolver context)

Method Detail

getInstance

public static EvaluableConstraint getInstance(ISLConstraint con,
                                              ConstraintSolver context)

evaluate

public abstract void evaluate()

hasErrors

public boolean hasErrors()

getErrors

protected Collection<AbstractError> getErrors()

extractValueAsString

protected Map<String,CallSiteWithExtractedValue> extractValueAsString(String varName,
                                                                            ISLConstraint cons)

extractSootArray

protected Map<String,CallSiteWithExtractedValue> extractSootArray(CallSiteWithParamIndex callSite,
                                                                        ExtractedValue allocSite)

Function that finds the values assigned to a soot array.

Parameters:

callSite - call site at which sootValue is involved

allocSite - allocation site at which sootValue is involved

Returns:

extracted array values