crypto/poly1305/poly1305.c:494: error: BUFFER_OVERRUN_L3
  Offset added: [-15, 15] Size: 16.
Showing all 6 steps of the trace


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

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:485:5: Assignment
483.       }
484.   
485.       rem = len % POLY1305_BLOCK_SIZE;
           ^
486.       len -= rem;
487.   

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

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

crypto/poly1305/poly1305.c:494:9: Array access: Offset added: [-15, 15] Size: 16
492.   
493.       if (rem)
494.           memcpy(ctx->data, inp, rem);
               ^
495.   
496.       ctx->num = rem;
