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
protected boolean	couldNotExtractValues(Map<String,CallSiteWithExtractedValue> extractedValueMap, ISLConstraint constraint)	If the ExtractParameterAnalysis cannot find the allocation site of a parameter, it adds the ZERO value to the results to indicate that the value could not be extracted.
abstract void	evaluate()
protected Map<Integer,boomerang.scene.Val>	extractArray(ExtractedValue extractedValue)
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)
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)

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

extractArray

protected Map<Integer,boomerang.scene.Val> extractArray(ExtractedValue extractedValue)

couldNotExtractValues

protected boolean couldNotExtractValues(Map<String,CallSiteWithExtractedValue> extractedValueMap,
                                        ISLConstraint constraint)

If the ExtractParameterAnalysis cannot find the allocation site of a parameter, it adds the ZERO value to the results to indicate that the value could not be extracted. In such a case, a ImpreciseValueExtractionError is reported.

Parameters:

extractedValueMap - the map from the extractValueAsString(String) method

constraint - the constraint that cannot be evaluated

Returns:

true if the value could not be extracted and an ImpreciseValueExtractionError got reported