Package crypto.analysis.errors
-
Interface Summary Interface Description ErrorVisitor IError -
Class Summary Class Description AbstractError ConstraintError ErrorWithObjectAllocation ForbiddenMethodError ForbiddenPredicateError HardCodedError ImpreciseValueExtractionError IncompleteOperationError This class defines-IncompleteOperationError: Found when the usage of an object may be incomplete For example a Cipher object may be initialized but never been used for encryption or decryption, this may render the code dead.InstanceOfError NeverTypeOfError PredicateContradictionError RequiredPredicateError CreatesRequiredPredicateErrorfor all Required Predicate error generates RequiredPredicateError contradictedPredicate aCrySLPredicateholds the contradicted required predicate or parameter extractedValues aCallSiteWithExtractedValuehold the location value of the missing required predicate or parameterTypestateError UncaughtExceptionError