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 classAlternativeReqPredicateclassRequiredCrySLPredicateMethods 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 voidAnalysisReporter. 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 ISLConstraintConstraintError. getViolatedConstraint()ISLConstraintHardCodedError. getViolatedConstraint()ISLConstraintImpreciseValueExtractionError. getViolatedConstraint()ISLConstraintInstanceOfError. getViolatedConstraint()ISLConstraintNeverTypeOfError. 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 booleanEvaluableConstraint. couldNotExtractValues(Map<String,CallSiteWithExtractedValue> extractedValueMap, ISLConstraint constraint)If theExtractParameterAnalysiscannot 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 EvaluableConstraintEvaluableConstraint. 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 voidIResultsListener. checkedConstraints(IAnalysisSeed seed, Collection<ISLConstraint> constraints) -
Uses of ISLConstraint in crypto.rules
Classes in crypto.rules that implement ISLConstraint Modifier and Type Class Description classCrySLArithmeticConstraintclassCrySLComparisonConstraintclassCrySLCondPredicateclassCrySLConstraintclassCrySLExceptionConstraintConstraint expressing, that aCrySLMethodthrows anCrySLException, that must be caught.classCrySLLiteralclassCrySLPredicateclassCrySLValueConstraintFields in crypto.rules with type parameters of type ISLConstraint Modifier and Type Field Description protected Optional<ISLConstraint>CrySLPredicate. constraintMethods in crypto.rules that return ISLConstraint Modifier and Type Method Description ISLConstraintCrySLConstraint. getLeft()ISLConstraintCrySLConstraint. 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)
-