ssl/statem/extensions_clnt.c:659: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - [`pkt->written`, `pkt->written` + 4]):unsigned64 by call to `WPACKET_sub_memcpy__`.
Showing all 16 steps of the trace


ssl/statem/extensions_clnt.c:625:1: Parameter `pkt->written`
623.   
624.   #ifndef OPENSSL_NO_TLS1_3
625. > static int add_key_share(SSL *s, WPACKET *pkt, unsigned int curve_id)
626.   {
627.       unsigned char *encoded_point = NULL;

ssl/statem/extensions_clnt.c:658:10: Call
656.   
657.       /* Create KeyShareEntry */
658.       if (!WPACKET_put_bytes_u16(pkt, curve_id)
                ^
659.               || !WPACKET_sub_memcpy_u16(pkt, encoded_point, encodedlen)) {
660.           SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_ADD_KEY_SHARE,

crypto/packet.c:329:1: Parameter `pkt->written`
  327.   }
  328.   
  329. > int WPACKET_put_bytes__(WPACKET *pkt, unsigned int val, size_t size)
  330.   {
  331.       unsigned char *data;

ssl/statem/extensions_clnt.c:659:17: Call
657.       /* Create KeyShareEntry */
658.       if (!WPACKET_put_bytes_u16(pkt, curve_id)
659.               || !WPACKET_sub_memcpy_u16(pkt, encoded_point, encodedlen)) {
                       ^
660.           SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_ADD_KEY_SHARE,
661.                    ERR_R_INTERNAL_ERROR);

crypto/packet.c:402:10: Call
  400.                            size_t lenbytes)
  401.   {
  402.       if (!WPACKET_start_sub_packet_len__(pkt, lenbytes)
                  ^
  403.               || !WPACKET_memcpy(pkt, src, len)
  404.               || !WPACKET_close(pkt))

crypto/packet.c:292:1: Parameter `pkt->buf->length`
    290.   }
    291.   
    292. > int WPACKET_start_sub_packet_len__(WPACKET *pkt, size_t lenbytes)
    293.   {
    294.       WPACKET_SUB *sub;

crypto/packet.c:403:17: Call
  401.   {
  402.       if (!WPACKET_start_sub_packet_len__(pkt, lenbytes)
  403.               || !WPACKET_memcpy(pkt, src, len)
                         ^
  404.               || !WPACKET_close(pkt))
  405.           return 0;

crypto/packet.c:383:1: Parameter `pkt->written`
    381.   }
    382.   
    383. > int WPACKET_memcpy(WPACKET *pkt, const void *src, size_t len)
    384.   {
    385.       unsigned char *dest;

crypto/packet.c:390:10: Call
    388.           return 1;
    389.   
    390.       if (!WPACKET_allocate_bytes(pkt, len, &dest))
                    ^
    391.           return 0;
    392.   

crypto/packet.c:16:1: Parameter `pkt->written`
      14.   #define DEFAULT_BUF_SIZE    256
      15.   
      16. > int WPACKET_allocate_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
      17.   {
      18.       if (!WPACKET_reserve_bytes(pkt, len, allocbytes))

crypto/packet.c:18:10: Call
      16.   int WPACKET_allocate_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
      17.   {
      18.       if (!WPACKET_reserve_bytes(pkt, len, allocbytes))
                     ^
      19.           return 0;
      20.   

crypto/packet.c:43:1: <LHS trace>
41.                           : NULL))
42.   
43. > int WPACKET_reserve_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
44.   {
45.       /* Internal API, so should not fail */

crypto/packet.c:43:1: Parameter `pkt->buf->length`
        41.                           : NULL))
        42.   
        43. > int WPACKET_reserve_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
        44.   {
        45.       /* Internal API, so should not fail */

crypto/packet.c:43:1: <RHS trace>
41.                           : NULL))
42.   
43. > int WPACKET_reserve_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
44.   {
45.       /* Internal API, so should not fail */

crypto/packet.c:43:1: Parameter `len`
        41.                           : NULL))
        42.   
        43. > int WPACKET_reserve_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
        44.   {
        45.       /* Internal API, so should not fail */

crypto/packet.c:52:30: Binary operation: ([0, +oo] - [pkt->written, pkt->written + 4]):unsigned64 by call to `WPACKET_sub_memcpy__` 
        50.           return 0;
        51.   
        52.       if (pkt->buf != NULL && (pkt->buf->length - pkt->written < len)) {
                                           ^
        53.           size_t newlen;
        54.           size_t reflen;

int WPACKET_reserve_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)
{
    if (!ossl_assert(pkt->subs != NULL && len != 0))
        return 0;
    if (pkt->maxsize - pkt->written < len)
        return 0;
    if (pkt->buf != NULL && (pkt->buf->length - pkt->written < len)) {
        size_t newlen;
        size_t reflen;
        reflen = (len > pkt->buf->length) ? len : pkt->buf->length;
        if (reflen > SIZE_MAX / 2) {
            newlen = SIZE_MAX;
        } else {
            newlen = reflen * 2;
            if (newlen < DEFAULT_BUF_SIZE)
                newlen = DEFAULT_BUF_SIZE;
        }
        if (BUF_MEM_grow(pkt->buf, newlen) == 0)
            return 0;
    }
    if (allocbytes != NULL)
        *allocbytes = WPACKET_get_curr(pkt);
    return 1;
}
['static int add_key_share(SSL *s, WPACKET *pkt, unsigned int curve_id)\n{\n    unsigned char *encoded_point = NULL;\n    EVP_PKEY *key_share_key = NULL;\n    size_t encodedlen;\n    if (s->s3.tmp.pkey != NULL) {\n        if (!ossl_assert(s->hello_retry_request == SSL_HRR_PENDING)) {\n            SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_ADD_KEY_SHARE,\n                     ERR_R_INTERNAL_ERROR);\n            return 0;\n        }\n        key_share_key = s->s3.tmp.pkey;\n    } else {\n        key_share_key = ssl_generate_pkey_group(s, curve_id);\n        if (key_share_key == NULL) {\n            return 0;\n        }\n    }\n    encodedlen = EVP_PKEY_get1_tls_encodedpoint(key_share_key,\n                                                &encoded_point);\n    if (encodedlen == 0) {\n        SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_ADD_KEY_SHARE, ERR_R_EC_LIB);\n        goto err;\n    }\n    if (!WPACKET_put_bytes_u16(pkt, curve_id)\n            || !WPACKET_sub_memcpy_u16(pkt, encoded_point, encodedlen)) {\n        SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_ADD_KEY_SHARE,\n                 ERR_R_INTERNAL_ERROR);\n        goto err;\n    }\n    s->s3.tmp.pkey = key_share_key;\n    s->s3.group_id = curve_id;\n    OPENSSL_free(encoded_point);\n    return 1;\n err:\n    if (s->s3.tmp.pkey == NULL)\n        EVP_PKEY_free(key_share_key);\n    OPENSSL_free(encoded_point);\n    return 0;\n}', 'int WPACKET_put_bytes__(WPACKET *pkt, unsigned int val, size_t size)\n{\n    unsigned char *data;\n    if (!ossl_assert(size <= sizeof(unsigned int))\n            || !WPACKET_allocate_bytes(pkt, size, &data)\n            || !put_value(data, val, size))\n        return 0;\n    return 1;\n}', 'int WPACKET_sub_memcpy__(WPACKET *pkt, const void *src, size_t len,\n                         size_t lenbytes)\n{\n    if (!WPACKET_start_sub_packet_len__(pkt, lenbytes)\n            || !WPACKET_memcpy(pkt, src, len)\n            || !WPACKET_close(pkt))\n        return 0;\n    return 1;\n}', 'int WPACKET_start_sub_packet_len__(WPACKET *pkt, size_t lenbytes)\n{\n    WPACKET_SUB *sub;\n    unsigned char *lenchars;\n    if (!ossl_assert(pkt->subs != NULL))\n        return 0;\n    if ((sub = OPENSSL_zalloc(sizeof(*sub))) == NULL) {\n        SSLerr(SSL_F_WPACKET_START_SUB_PACKET_LEN__, ERR_R_MALLOC_FAILURE);\n        return 0;\n    }\n    sub->parent = pkt->subs;\n    pkt->subs = sub;\n    sub->pwritten = pkt->written + lenbytes;\n    sub->lenbytes = lenbytes;\n    if (lenbytes == 0) {\n        sub->packet_len = 0;\n        return 1;\n    }\n    sub->packet_len = pkt->written;\n    if (!WPACKET_allocate_bytes(pkt, lenbytes, &lenchars))\n        return 0;\n    return 1;\n}', 'int WPACKET_memcpy(WPACKET *pkt, const void *src, size_t len)\n{\n    unsigned char *dest;\n    if (len == 0)\n        return 1;\n    if (!WPACKET_allocate_bytes(pkt, len, &dest))\n        return 0;\n    if (dest != NULL)\n        memcpy(dest, src, len);\n    return 1;\n}', 'int WPACKET_allocate_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)\n{\n    if (!WPACKET_reserve_bytes(pkt, len, allocbytes))\n        return 0;\n    pkt->written += len;\n    pkt->curr += len;\n    return 1;\n}', 'int WPACKET_reserve_bytes(WPACKET *pkt, size_t len, unsigned char **allocbytes)\n{\n    if (!ossl_assert(pkt->subs != NULL && len != 0))\n        return 0;\n    if (pkt->maxsize - pkt->written < len)\n        return 0;\n    if (pkt->buf != NULL && (pkt->buf->length - pkt->written < len)) {\n        size_t newlen;\n        size_t reflen;\n        reflen = (len > pkt->buf->length) ? len : pkt->buf->length;\n        if (reflen > SIZE_MAX / 2) {\n            newlen = SIZE_MAX;\n        } else {\n            newlen = reflen * 2;\n            if (newlen < DEFAULT_BUF_SIZE)\n                newlen = DEFAULT_BUF_SIZE;\n        }\n        if (BUF_MEM_grow(pkt->buf, newlen) == 0)\n            return 0;\n    }\n    if (allocbytes != NULL)\n        *allocbytes = WPACKET_get_curr(pkt);\n    return 1;\n}']