Uses of Interface crypto.interfaces.ISLConstraint (CryptoAnalysis 3.1.0 API)

Packages that use ISLConstraint
Package Description

crypto.analysis

crypto.analysis.errors

crypto.constraints

crypto.reporting

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.

Methods in crypto.analysis with parameters of type ISLConstraint
Modifier and Type	Method	Description
`void`	ConstraintReporter.`constraintViolated(ISLConstraint con, boomerang.jimple.Statement unit)`
`void`	ConstraintReporter.`unevaluableConstraint(ISLConstraint con, boomerang.jimple.Statement unit)`

Method parameters in crypto.analysis with type arguments of type ISLConstraint
Modifier and Type	Method	Description
`void`	CrySLResultsReporter.`checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification, Collection<ISLConstraint> relConstraints)`
`void`	ICrySLResultsListener.`checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification, Collection<ISLConstraint> relConstraints)`

Uses of ISLConstraint in crypto.analysis.errors

Methods in crypto.analysis.errors that return ISLConstraint
Modifier and Type	Method	Description
`ISLConstraint`	ConstraintError.`getBrokenConstraint()`
`ISLConstraint`	ImpreciseValueExtractionError.`getViolatedConstraint()`

Constructors in crypto.analysis.errors with parameters of type ISLConstraint
Constructor	Description
`ConstraintError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)`
`HardCodedError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)`
`ImpreciseValueExtractionError(ISLConstraint violatedCons, boomerang.jimple.Statement errorLocation, CrySLRule rule)`
`InstanceOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)`
`NeverTypeOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)`

Uses of ISLConstraint in crypto.constraints

Methods in crypto.constraints that return types with arguments of type ISLConstraint
Modifier and Type	Method	Description
`List<ISLConstraint>`	ConstraintSolver.`getAllConstraints()`
`Set<ISLConstraint>`	ConstraintSolver.`getRelConstraints()`
`List<ISLConstraint>`	ConstraintSolver.`getRequiredPredicates()`

Methods in crypto.constraints with parameters of type ISLConstraint
Modifier and Type	Method	Description
`protected Map<String,CallSiteWithExtractedValue>`	EvaluableConstraint.`extractValueAsString(String varName, ISLConstraint cons)`
`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.reporting

Method parameters in crypto.reporting with type arguments of type ISLConstraint
Modifier and Type	Method	Description
`void`	CollectErrorListener.`checkedConstraints(AnalysisSeedWithSpecification analysisSeedWithSpecification, Collection<ISLConstraint> relConstraints)`
`void`	ErrorMarkerListener.`checkedConstraints(AnalysisSeedWithSpecification arg0, Collection<ISLConstraint> arg1)`

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`
`class`	`ParameterAwarePredicate`	Extension of `CrySLPredicate`, to take the parameters into account, when checking for Equality.

Fields in crypto.rules with type parameters of type ISLConstraint
Modifier and Type	Field	Description
`protected Optional<ISLConstraint>`	CrySLPredicate.`constraint`
`protected List<ISLConstraint>`	CrySLRule.`constraints`

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()`
`List<ISLConstraint>`	CrySLRule.`getConstraints()`

Constructors in crypto.rules with parameters of type ISLConstraint
Constructor	Description
`CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Set<StateNode> nodes, ISLConstraint constraint)`
`CrySLConstraint(ISLConstraint l, ISLConstraint r, CrySLConstraint.LogOps op)`
`CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, ISLConstraint constraint)`
`ParameterAwarePredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> variables, 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)`