crypto/ec/ecdsa_ossl.c:223: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - [-125, 127]):unsigned64 by call to `ecdsa_sign_setup`.
Showing all 11 steps of the trace


crypto/ec/ecdsa_ossl.c:161:1: Parameter `dgst_len`
159.   }
160.   
161. > ECDSA_SIG *ossl_ecdsa_sign_sig(const unsigned char *dgst, int dgst_len,
162.                                  const BIGNUM *in_kinv, const BIGNUM *in_r,
163.                                  EC_KEY *eckey)

crypto/ec/ecdsa_ossl.c:223:18: Call
221.       do {
222.           if (in_kinv == NULL || in_r == NULL) {
223.               if (!ecdsa_sign_setup(eckey, ctx, &kinv, &ret->r, dgst, dgst_len)) {
                        ^
224.                   ECerr(EC_F_OSSL_ECDSA_SIGN_SIG, ERR_R_ECDSA_LIB);
225.                   goto err;

crypto/ec/ecdsa_ossl.c:33:1: Parameter `dlen`
  31.   }
  32.   
  33. > static int ecdsa_sign_setup(EC_KEY *eckey, BN_CTX *ctx_in,
  34.                               BIGNUM **kinvp, BIGNUM **rp,
  35.                               const unsigned char *dgst, int dlen)

crypto/ec/ecdsa_ossl.c:86:22: Call
  84.           do {
  85.               if (dgst != NULL) {
  86.                   if (!BN_generate_dsa_nonce(k, order,
                             ^
  87.                                              EC_KEY_get0_private_key(eckey),
  88.                                              dgst, dlen, ctx)) {

crypto/bn/bn_rand.c:205:1: Parameter `message_len`
    203.    * used.
    204.    */
    205. > int BN_generate_dsa_nonce(BIGNUM *out, const BIGNUM *range,
    206.                             const BIGNUM *priv, const unsigned char *message,
    207.                             size_t message_len, BN_CTX *ctx)

crypto/bn/bn_rand.c:247:9: Call
    245.           SHA512_Update(&sha, &done, sizeof(done));
    246.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));
    247.           SHA512_Update(&sha, message, message_len);
                   ^
    248.           SHA512_Update(&sha, random_bytes, sizeof(random_bytes));
    249.           SHA512_Final(digest, &sha);

crypto/sha/sha512.c:264:1: <LHS trace>
262.   }
263.   
264. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
265.   {
266.       SHA_LONG64 l;

crypto/sha/sha512.c:264:1: Parameter `len`
      262.   }
      263.   
      264. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
      265.   {
      266.       SHA_LONG64 l;

crypto/sha/sha512.c:264:1: <RHS trace>
262.   }
263.   
264. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
265.   {
266.       SHA_LONG64 l;

crypto/sha/sha512.c:264:1: Parameter `len`
      262.   }
      263.   
      264. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
      265.   {
      266.       SHA_LONG64 l;

crypto/sha/sha512.c:288:13: Binary operation: ([1, +oo] - [-125, 127]):unsigned64 by call to `ecdsa_sign_setup` 
      286.           } else {
      287.               memcpy(p + c->num, data, n), c->num = 0;
      288.               len -= n, data += n;
                         ^
      289.               sha512_block_data_order(c, p, 1);
      290.           }
