Uses of Package
crypto.analysis.errors
-
Packages that use crypto.analysis.errors Package Description crypto.analysis crypto.analysis.errors crypto.constraints crypto.reporting -
Classes in crypto.analysis.errors used by crypto.analysis Class Description AbstractError 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 parameter -
Classes in crypto.analysis.errors used by crypto.analysis.errors Class Description AbstractError ConstraintError ErrorVisitor ErrorWithObjectAllocation ForbiddenMethodError ForbiddenPredicateError HardCodedError IError 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.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 -
Classes in crypto.analysis.errors used by crypto.constraints Class Description AbstractError -
Classes in crypto.analysis.errors used by crypto.reporting Class Description AbstractError