Uses of Interface
crypto.rules.ISLConstraint

Packages that use ISLConstraint

Package	Description
crypto.analysis
crypto.analysis.errors
crypto.constraints
crypto.listener
crypto.rules

Uses of ISLConstraint in crypto.analysis

Classes in crypto.analysis that implement ISLConstraint

Modifier and Type	Class	Description
class	AlternativeReqPredicate
class	RequiredCrySLPredicate

Methods in crypto.analysis that return types with arguments of type ISLConstraint

Modifier and Type	Method	Description
Collection<ISLConstraint>	AnalysisSeedWithSpecification.checkPredicates()	Check, whether all required predicates are satisfied, and return a set with all predicates that are not satisfied.

Method parameters in crypto.analysis with type arguments of type ISLConstraint

Modifier and Type	Method	Description
void	AnalysisReporter.checkedConstraints(IAnalysisSeed seed, Collection<ISLConstraint> constraints)

Uses of ISLConstraint in crypto.analysis.errors

Methods in crypto.analysis.errors that return ISLConstraint

Modifier and Type	Method	Description
ISLConstraint	ConstraintError.getViolatedConstraint()
ISLConstraint	HardCodedError.getViolatedConstraint()
ISLConstraint	ImpreciseValueExtractionError.getViolatedConstraint()
ISLConstraint	InstanceOfError.getViolatedConstraint()
ISLConstraint	NeverTypeOfError.getViolatedConstraint()

Constructors in crypto.analysis.errors with parameters of type ISLConstraint

Constructor	Description
ConstraintError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, ISLConstraint constraint)
HardCodedError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, ISLConstraint constraint)
ImpreciseValueExtractionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, ISLConstraint constraint)

Uses of ISLConstraint in crypto.constraints

Methods in crypto.constraints that return types with arguments of type ISLConstraint

Modifier and Type	Method	Description
Collection<ISLConstraint>	ConstraintSolver.getAllConstraints()
Collection<ISLConstraint>	ConstraintSolver.getRelConstraints()
Collection<ISLConstraint>	ConstraintSolver.getRequiredPredicates()

Methods in crypto.constraints with parameters of type ISLConstraint

Modifier and Type	Method	Description
protected boolean	EvaluableConstraint.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.
static EvaluableConstraint	EvaluableConstraint.getInstance(ISLConstraint con, ConstraintSolver context)

Constructors in crypto.constraints with parameters of type ISLConstraint

Constructor	Description
ComparisonConstraint(ISLConstraint origin, ConstraintSolver context)
EvaluableConstraint(ISLConstraint origin, ConstraintSolver context)
PredicateConstraint(ISLConstraint origin, ConstraintSolver context)
ValueConstraint(ISLConstraint origin, ConstraintSolver context)

Uses of ISLConstraint in crypto.listener

Method parameters in crypto.listener with type arguments of type ISLConstraint

Modifier and Type	Method	Description
void	IResultsListener.checkedConstraints(IAnalysisSeed seed, Collection<ISLConstraint> constraints)

Uses of ISLConstraint in crypto.rules

Classes in crypto.rules that implement ISLConstraint

Modifier and Type	Class	Description
class	CrySLArithmeticConstraint
class	CrySLComparisonConstraint
class	CrySLCondPredicate
class	CrySLConstraint
class	CrySLExceptionConstraint	Constraint expressing, that a CrySLMethod throws an CrySLException, that must be caught.
class	CrySLLiteral
class	CrySLPredicate
class	CrySLValueConstraint

Fields in crypto.rules with type parameters of type ISLConstraint

Modifier and Type	Field	Description
protected Optional<ISLConstraint>	CrySLPredicate.constraint

Methods in crypto.rules that return ISLConstraint

Modifier and Type	Method	Description
ISLConstraint	CrySLConstraint.getLeft()
ISLConstraint	CrySLConstraint.getRight()

Methods in crypto.rules that return types with arguments of type ISLConstraint

Modifier and Type	Method	Description
Optional<ISLConstraint>	CrySLPredicate.getConstraint()
Collection<ISLConstraint>	CrySLRule.getConstraints()

Constructors in crypto.rules with parameters of type ISLConstraint

Constructor	Description
CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Collection<StateNode> nodes, ISLConstraint constraint)
CrySLConstraint(ISLConstraint l, ISLConstraint r, CrySLConstraint.LogOps op)
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, ISLConstraint constraint)

Constructor parameters in crypto.rules with type arguments of type ISLConstraint

Constructor	Description
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Optional<ISLConstraint> constraint)