test/drbgtest.c:470: error: BUFFER_OVERRUN_L3
  Offset added: [0, 15] Size: [0, +oo] by call to `error_check`.
Showing all 10 steps of the trace


test/drbgtest.c:470:9: Call
468.       int rv = 0;
469.   
470.       if (error_check(td))
               ^
471.           goto err;
472.       rv = 1;

test/drbgtest.c:271:1: Parameter `td->exlen`
  269.    * Induce several failure modes and check an error condition is set.
  270.    */
  271. > static int error_check(DRBG_SELFTEST_DATA *td)
  272.   {
  273.       static char zero[sizeof(RAND_DRBG)];

test/drbgtest.c:302:10: Call
  300.   
  301.       /* Try to generate output from uninstantiated DRBG */
  302.       if (!TEST_false(RAND_DRBG_generate(drbg, buff, td->exlen, 0,
                  ^
  303.                                          td->adin, td->adinlen))
  304.               || !uninstantiate(drbg))

crypto/rand/drbg_lib.c:248:1: Parameter `outlen`
    246.    * sent in |adin| and |adinlen|.
    247.    */
    248. > int RAND_DRBG_generate(RAND_DRBG *drbg, unsigned char *out, size_t outlen,
    249.                          int prediction_resistance,
    250.                          const unsigned char *adin, size_t adinlen)

crypto/rand/drbg_lib.c:281:10: Call
    279.       }
    280.   
    281.       if (!ctr_generate(drbg, out, outlen, adin, adinlen)) {
                    ^
    282.           drbg->state = DRBG_ERROR;
    283.           RANDerr(RAND_F_RAND_DRBG_GENERATE, RAND_R_GENERATE_ERROR);

crypto/rand/drbg_rand.c:261:1: <Offset trace>
259.   }
260.   
261. > int ctr_generate(RAND_DRBG *drbg,
262.                    unsigned char *out, size_t outlen,
263.                    const unsigned char *adin, size_t adinlen)

crypto/rand/drbg_rand.c:261:1: Parameter `outlen`
      259.   }
      260.   
      261. > int ctr_generate(RAND_DRBG *drbg,
      262.                    unsigned char *out, size_t outlen,
      263.                    const unsigned char *adin, size_t adinlen)

crypto/rand/drbg_rand.c:261:1: <Length trace>
259.   }
260.   
261. > int ctr_generate(RAND_DRBG *drbg,
262.                    unsigned char *out, size_t outlen,
263.                    const unsigned char *adin, size_t adinlen)

crypto/rand/drbg_rand.c:261:1: Parameter `drbg->ctr.K[*]`
      259.   }
      260.   
      261. > int ctr_generate(RAND_DRBG *drbg,
      262.                    unsigned char *out, size_t outlen,
      263.                    const unsigned char *adin, size_t adinlen)

crypto/rand/drbg_rand.c:283:13: Array access: Offset added: [0, 15] Size: [0, +oo] by call to `error_check` 
      281.               /* Use K as temp space as it will be updated */
      282.               AES_encrypt(ctr->V, ctr->K, &ctr->ks);
      283.               memcpy(out, ctr->K, outlen);
                         ^
      284.               break;
      285.           }
