crypto/evp/e_chacha20_poly1305.c:328: error: BUFFER_OVERRUN_L2
  Offset: [1, 70+max(1, `ctx->cipher_data->num`)] Size: 16 by call to `Poly1305_Final`.
Showing all 11 steps of the trace


crypto/evp/e_chacha20_poly1305.c:233:1: Parameter `ctx->cipher_data->num`
231.   }
232.   
233. > static int chacha20_poly1305_cipher(EVP_CIPHER_CTX *ctx, unsigned char *out,
234.                                       const unsigned char *in, size_t len)
235.   {

crypto/evp/e_chacha20_poly1305.c:305:13: Call
303.   
304.           if (is_endian.little) {
305.               Poly1305_Update(POLY1305_ctx(actx),
                   ^
306.                               (unsigned char *)&actx->len, POLY1305_BLOCK_SIZE);
307.           } else {

crypto/poly1305/poly1305.c:457:1: Parameter `len`
  455.   }
  456.   
  457. > void Poly1305_Update(POLY1305 *ctx, const unsigned char *inp, size_t len)
  458.   {
  459.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:480:13: Assignment
  478.               /* Still not enough data to process a block. */
  479.               memcpy(ctx->data + num, inp, len);
  480.               ctx->num = num + len;
                     ^
  481.               return;
  482.           }

crypto/evp/e_chacha20_poly1305.c:328:9: Call
326.               Poly1305_Update(POLY1305_ctx(actx), temp, POLY1305_BLOCK_SIZE);
327.           }
328.           Poly1305_Final(POLY1305_ctx(actx), ctx->encrypt ? actx->tag
               ^
329.                                                           : temp);
330.           actx->mac_inited = 0;

crypto/poly1305/poly1305.c:499:1: <Offset trace>
497.   }
498.   
499. > void Poly1305_Final(POLY1305 *ctx, unsigned char mac[16])
500.   {
501.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:499:1: Parameter `ctx->num`
  497.   }
  498.   
  499. > void Poly1305_Final(POLY1305 *ctx, unsigned char mac[16])
  500.   {
  501.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:507:10: Assignment
  505.       size_t num;
  506.   
  507.       if ((num = ctx->num)) {
                  ^
  508.           ctx->data[num++] = 1;   /* pad bit */
  509.           while (num < POLY1305_BLOCK_SIZE)

crypto/poly1305/poly1305.c:499:1: <Length trace>
497.   }
498.   
499. > void Poly1305_Final(POLY1305 *ctx, unsigned char mac[16])
500.   {
501.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:499:1: Parameter `ctx->data[*]`
  497.   }
  498.   
  499. > void Poly1305_Final(POLY1305 *ctx, unsigned char mac[16])
  500.   {
  501.   #ifdef POLY1305_ASM

crypto/poly1305/poly1305.c:508:9: Array access: Offset: [1, 70+max(1, ctx->cipher_data->num)] Size: 16 by call to `Poly1305_Final` 
  506.   
  507.       if ((num = ctx->num)) {
  508.           ctx->data[num++] = 1;   /* pad bit */
                 ^
  509.           while (num < POLY1305_BLOCK_SIZE)
  510.               ctx->data[num++] = 0;
