crypto/asn1/a_int.c:648: error: BUFFER_OVERRUN_L3
  Offset: [-1, +oo] Size: 8 by call to `asn1_put_uint64`.
Showing all 5 steps of the trace


crypto/asn1/a_int.c:643:1: Array declaration
641.   }
642.   
643. > int i2c_uint64_int(unsigned char *p, uint64_t r, int neg)
644.   {
645.       unsigned char buf[sizeof(uint64_t)];

crypto/asn1/a_int.c:648:14: Call
646.       size_t buflen;
647.   
648.       buflen = asn1_put_uint64(buf, r);
                    ^
649.       if (p == NULL)
650.           return i2c_ibuf(buf, buflen, neg, NULL);

crypto/asn1/a_int.c:243:1: <Length trace>
241.   }
242.   
243. > static size_t asn1_put_uint64(unsigned char *b, uint64_t r)
244.   {
245.       if (r >= 0x100) {

crypto/asn1/a_int.c:243:1: Parameter `*b`
  241.   }
  242.   
  243. > static size_t asn1_put_uint64(unsigned char *b, uint64_t r)
  244.   {
  245.       if (r >= 0x100) {

crypto/asn1/a_int.c:260:13: Array access: Offset: [-1, +oo] Size: 8 by call to `asn1_put_uint64` 
  258.   
  259.           do {
  260.               *p-- = r & 0xFF;
                     ^
  261.               r >>= 8;
  262.           } while (p >= b);
