crypto/dsa/dsa_ossl.c:92: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - [-125, 127]):unsigned64 by call to `dsa_sign_setup`.
Showing all 11 steps of the trace


crypto/dsa/dsa_ossl.c:59:1: Parameter `dlen`
57.   }
58.   
59. > static DSA_SIG *dsa_do_sign(const unsigned char *dgst, int dlen, DSA *dsa)
60.   {
61.       BIGNUM *kinv = NULL;

crypto/dsa/dsa_ossl.c:92:10: Call
90.   
91.    redo:
92.       if (!dsa_sign_setup(dsa, ctx, &kinv, &ret->r, dgst, dlen))
               ^
93.           goto err;
94.   

crypto/dsa/dsa_ossl.c:175:1: Parameter `dlen`
  173.   }
  174.   
  175. > static int dsa_sign_setup(DSA *dsa, BN_CTX *ctx_in,
  176.                             BIGNUM **kinvp, BIGNUM **rp,
  177.                             const unsigned char *dgst, int dlen)

crypto/dsa/dsa_ossl.c:216:18: Call
  214.                * This protects the private key from a weak PRNG.
  215.                */
  216.               if (!BN_generate_dsa_nonce(k, dsa->q, dsa->priv_key, dgst,
                          ^
  217.                                          dlen, ctx))
  218.                   goto err;

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 `dsa_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.           }
