ssl/s3_lib.c:2802: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - [`pkt->written`, `pkt->written` + 4]):unsigned64 by call to `WPACKET_start_sub_packet_len__`.
Showing all 10 steps of the trace


ssl/s3_lib.c:2801:10: Call
2799.   {
2800.       /* Set the content type and 3 bytes for the message len */
2801.       if (!WPACKET_put_bytes_u8(pkt, htype)
                 ^
2802.               || !WPACKET_start_sub_packet_u24(pkt))
2803.           return 0;

ssl/packet.c:237:1: Parameter `pkt->buf->length`
  235.   }
  236.   
  237. > int WPACKET_put_bytes__(WPACKET *pkt, unsigned int val, size_t size)
  238.   {
  239.       unsigned char *data;

ssl/s3_lib.c:2802:17: Call
2800.       /* Set the content type and 3 bytes for the message len */
2801.       if (!WPACKET_put_bytes_u8(pkt, htype)
2802.               || !WPACKET_start_sub_packet_u24(pkt))
                        ^
2803.           return 0;
2804.   

ssl/packet.c:201:1: Parameter `pkt->written`
  199.   }
  200.   
  201. > int WPACKET_start_sub_packet_len__(WPACKET *pkt, size_t lenbytes)
  202.   {
  203.       WPACKET_SUB *sub;

ssl/packet.c:225:10: Call
  223.       }
  224.   
  225.       if (!WPACKET_allocate_bytes(pkt, lenbytes, &lenchars))
                  ^
  226.           return 0;
  227.       sub->packet_len = lenchars - (unsigned char *)pkt->buf->data;

ssl/packet.c:15:1: <LHS trace>
13.   #define DEFAULT_BUF_SIZE    256
14.   
15. > int WPACKET_allocate_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
16.   {
17.       /* Internal API, so should not fail */

ssl/packet.c:15:1: Parameter `pkt->buf->length`
    13.   #define DEFAULT_BUF_SIZE    256
    14.   
    15. > int WPACKET_allocate_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
    16.   {
    17.       /* Internal API, so should not fail */

ssl/packet.c:15:1: <RHS trace>
13.   #define DEFAULT_BUF_SIZE    256
14.   
15. > int WPACKET_allocate_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
16.   {
17.       /* Internal API, so should not fail */

ssl/packet.c:15:1: Parameter `len`
    13.   #define DEFAULT_BUF_SIZE    256
    14.   
    15. > int WPACKET_allocate_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
    16.   {
    17.       /* Internal API, so should not fail */

ssl/packet.c:25:9: Binary operation: ([0, +oo] - [pkt->written, pkt->written + 4]):unsigned64 by call to `WPACKET_start_sub_packet_len__` 
    23.           return 0;
    24.   
    25.       if (pkt->buf->length - pkt->written < len) {
                  ^
    26.           size_t newlen;
    27.   
