crypto/dsa/dsa_ossl.c:163: 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:135:1: Parameter `dlen`
133.   }
134.   
135. > static DSA_SIG *dsa_do_sign(const unsigned char *dgst, int dlen, DSA *dsa)
136.   {
137.       BIGNUM *kinv = NULL, *r = NULL, *s = NULL;

crypto/dsa/dsa_ossl.c:163:14: Call
161.    redo:
162.       if ((dsa->kinv == NULL) || (dsa->r == NULL)) {
163.           if (!dsa_sign_setup(dsa, ctx, &kinv, &r, dgst, dlen))
                    ^
164.               goto err;
165.       } else {

crypto/dsa/dsa_ossl.c:232:1: Parameter `dlen`
  230.   }
  231.   
  232. > static int dsa_sign_setup(DSA *dsa, BN_CTX *ctx_in,
  233.                             BIGNUM **kinvp, BIGNUM **rp,
  234.                             const unsigned char *dgst, int dlen)

crypto/dsa/dsa_ossl.c:267:18: Call
  265.                * This protects the private key from a weak PRNG.
  266.                */
  267.               if (!BN_generate_dsa_nonce(k, dsa->q, dsa->priv_key, dgst,
                          ^
  268.                                          dlen, ctx))
  269.                   goto err;

crypto/bn/bn_rand.c:301:1: Parameter `message_len`
    299.    * used.
    300.    */
    301. > int BN_generate_dsa_nonce(BIGNUM *out, const BIGNUM *range,
    302.                             const BIGNUM *priv, const unsigned char *message,
    303.                             size_t message_len, BN_CTX *ctx)

crypto/bn/bn_rand.c:343:9: Call
    341.           SHA512_Update(&sha, &done, sizeof(done));
    342.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));
    343.           SHA512_Update(&sha, message, message_len);
                   ^
    344.           SHA512_Update(&sha, random_bytes, sizeof(random_bytes));
    345.           SHA512_Final(digest, &sha);

crypto/sha/sha512.c:186:1: <LHS trace>
184.   }
185.   
186. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
187.   {
188.       SHA_LONG64 l;

crypto/sha/sha512.c:186:1: Parameter `len`
      184.   }
      185.   
      186. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
      187.   {
      188.       SHA_LONG64 l;

crypto/sha/sha512.c:186:1: <RHS trace>
184.   }
185.   
186. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
187.   {
188.       SHA_LONG64 l;

crypto/sha/sha512.c:186:1: Parameter `len`
      184.   }
      185.   
      186. > int SHA512_Update(SHA512_CTX *c, const void *_data, size_t len)
      187.   {
      188.       SHA_LONG64 l;

crypto/sha/sha512.c:210:13: Binary operation: ([1, +oo] - [-125, 127]):unsigned64 by call to `dsa_sign_setup` 
      208.           } else {
      209.               memcpy(p + c->num, data, n), c->num = 0;
      210.               len -= n, data += n;
                         ^
      211.               sha512_block_data_order(c, p, 1);
      212.           }
