crypto/dsa/dsa_ossl.c:264: error: BUFFER_OVERRUN_L3
  Offset: [3, +oo] (⇐ [0, +oo] + 3) Size: [0, 8388607] by call to `BN_generate_dsa_nonce`.
Showing all 15 steps of the trace


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

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

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

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

crypto/bn/bn_rand.c:352:10: Call
  350.       }
  351.   
  352.       if (!BN_bin2bn(k_bytes, num_k_bytes, out))
                  ^
  353.           goto err;
  354.       if (BN_mod(out, out, range, ctx) != 1)

crypto/bn/bn_lib.c:542:1: Parameter `*ret->d`
    540.   }
    541.   
    542. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
    543.   {
    544.       unsigned int i, m;

crypto/bn/bn_lib.c:564:9: Call
    562.       i = ((n - 1) / BN_BYTES) + 1;
    563.       m = ((n - 1) % (BN_BYTES));
    564.       if (bn_wexpand(ret, (int)i) == NULL) {
                   ^
    565.           BN_free(bn);
    566.           return NULL;

crypto/bn/bn_lib.c:995:1: Parameter `*a->d`
      993.   }
      994.   
      995. > BIGNUM *bn_wexpand(BIGNUM *a, int words)
      996.   {
      997.       return (words <= a->dmax) ? a : bn_expand2(a, words);

crypto/bn/bn_lib.c:997:37: Call
      995.   BIGNUM *bn_wexpand(BIGNUM *a, int words)
      996.   {
      997.       return (words <= a->dmax) ? a : bn_expand2(a, words);
                                                  ^
      998.   }
      999.   

crypto/bn/bn_lib.c:390:1: Parameter `*b->d`
        388.    */
        389.   
        390. > BIGNUM *bn_expand2(BIGNUM *b, int words)
        391.   {
        392.       bn_check_top(b);

crypto/bn/bn_lib.c:395:23: Call
        393.   
        394.       if (words > b->dmax) {
        395.           BN_ULONG *a = bn_expand_internal(b, words);
                                     ^
        396.           if (!a)
        397.               return NULL;

crypto/bn/bn_lib.c:300:1: <Length trace>
298.   /* This is used by bn_expand2() */
299.   /* The caller MUST check that words > b->dmax before calling this */
300. > static BN_ULONG *bn_expand_internal(const BIGNUM *b, int words)
301.   {
302.       BN_ULONG *A, *a = NULL;

crypto/bn/bn_lib.c:300:1: Parameter `*b->d`
          298.   /* This is used by bn_expand2() */
          299.   /* The caller MUST check that words > b->dmax before calling this */
          300. > static BN_ULONG *bn_expand_internal(const BIGNUM *b, int words)
          301.   {
          302.       BN_ULONG *A, *a = NULL;

crypto/bn/bn_lib.c:335:5: Assignment
          333.   
          334.   #if 1
          335.       B = b->d;
                     ^
          336.       /* Check if the previous number needs to be copied */
          337.       if (B != NULL) {

crypto/bn/bn_lib.c:352:18: Array access: Offset: [3, +oo] (⇐ [0, +oo] + 3) Size: [0, 8388607] by call to `BN_generate_dsa_nonce` 
          350.               a1 = B[1];
          351.               a2 = B[2];
          352.               a3 = B[3];
                                  ^
          353.               A[0] = a0;
          354.               A[1] = a1;
