crypto/dsa/dsa_ossl.c:81: 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:49:1: Parameter `dlen`
47.   }
48.   
49. > static DSA_SIG *dsa_do_sign(const unsigned char *dgst, int dlen, DSA *dsa)
50.   {
51.       BIGNUM *kinv = NULL;

crypto/dsa/dsa_ossl.c:81:10: Call
79.           goto err;
80.    redo:
81.       if (!dsa_sign_setup(dsa, ctx, &kinv, &ret->r, dgst, dlen))
               ^
82.           goto err;
83.   

crypto/dsa/dsa_ossl.c:133:1: Parameter `dlen`
  131.   }
  132.   
  133. > static int dsa_sign_setup(DSA *dsa, BN_CTX *ctx_in,
  134.                             BIGNUM **kinvp, BIGNUM **rp,
  135.                             const unsigned char *dgst, int dlen)

crypto/dsa/dsa_ossl.c:163:18: Call
  161.                * This protects the private key from a weak PRNG.
  162.                */
  163.               if (!BN_generate_dsa_nonce(k, dsa->q, dsa->priv_key, dgst,
                          ^
  164.                                          dlen, ctx))
  165.                   goto err;

crypto/bn/bn_rand.c:192:1: Parameter `message_len`
    190.    * used.
    191.    */
    192. > int BN_generate_dsa_nonce(BIGNUM *out, const BIGNUM *range,
    193.                             const BIGNUM *priv, const unsigned char *message,
    194.                             size_t message_len, BN_CTX *ctx)

crypto/bn/bn_rand.c:234:9: Call
    232.           SHA512_Update(&sha, &done, sizeof(done));
    233.           SHA512_Update(&sha, private_bytes, sizeof(private_bytes));
    234.           SHA512_Update(&sha, message, message_len);
                   ^
    235.           SHA512_Update(&sha, random_bytes, sizeof(random_bytes));
    236.           SHA512_Final(digest, &sha);

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

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

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

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

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