crypto/siphash/siphash.c:169: error: BUFFER_OVERRUN_L3
  Offset added: [1, 7] Size: [0, +oo].
Showing all 6 steps of the trace


crypto/siphash/siphash.c:120:1: <Offset trace>
118.   }
119.   
120. > void SipHash_Update(SIPHASH *ctx, const unsigned char *in, size_t inlen)
121.   {
122.       uint64_t m;

crypto/siphash/siphash.c:120:1: Parameter `inlen`
118.   }
119.   
120. > void SipHash_Update(SIPHASH *ctx, const unsigned char *in, size_t inlen)
121.   {
122.       uint64_t m;

crypto/siphash/siphash.c:156:5: Assignment
154.           v0 ^= m;
155.       }
156.       left = inlen & (SIPHASH_BLOCK_SIZE-1); /* gets put into leavings */
           ^
157.       end = in + inlen - left;
158.   

crypto/siphash/siphash.c:120:1: <Length trace>
118.   }
119.   
120. > void SipHash_Update(SIPHASH *ctx, const unsigned char *in, size_t inlen)
121.   {
122.       uint64_t m;

crypto/siphash/siphash.c:120:1: Parameter `ctx->leavings[*]`
118.   }
119.   
120. > void SipHash_Update(SIPHASH *ctx, const unsigned char *in, size_t inlen)
121.   {
122.       uint64_t m;

crypto/siphash/siphash.c:169:9: Array access: Offset added: [1, 7] Size: [0, +oo]
167.       /* save leavings and other ctx */
168.       if (left)
169.           memcpy(ctx->leavings, end, left);
               ^
170.       ctx->len = left;
171.   
