crypto/rand/drbg_rand.c:220: error: BUFFER_OVERRUN_L3
  Offset added: 8 Size: [0, +oo].
Showing all 3 steps of the trace


crypto/rand/drbg_rand.c:199:1: <Length trace>
197.    * so we handle both cases in this function instead.
198.    */
199. > static void ctr_update(RAND_DRBG *drbg,
200.                          const unsigned char *in1, size_t in1len,
201.                          const unsigned char *in2, size_t in2len,

crypto/rand/drbg_rand.c:199:1: Parameter `drbg->ctr.V[*]`
197.    * so we handle both cases in this function instead.
198.    */
199. > static void ctr_update(RAND_DRBG *drbg,
200.                          const unsigned char *in1, size_t in1len,
201.                          const unsigned char *in2, size_t in2len,

crypto/rand/drbg_rand.c:220:9: Array access: Offset added: 8 Size: [0, +oo]
218.       /* If 192 bit key part of V is on end of K */
219.       if (ctr->keylen == 24) {
220.           memcpy(ctr->V + 8, ctr->V, 8);
               ^
221.           memcpy(ctr->V, ctr->K + 24, 8);
222.       }
