ssl/tls13_enc.c:55: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `WPACKET_close`.
Showing all 11 steps of the trace


ssl/tls13_enc.c:52:17: Call
50.       if (!WPACKET_init_static_len(&pkt, hkdflabel, sizeof(hkdflabel), 0)
51.               || !WPACKET_put_bytes_u16(&pkt, outlen)
52.               || !WPACKET_start_sub_packet_u8(&pkt)
                      ^
53.               || !WPACKET_memcpy(&pkt, label_prefix, sizeof(label_prefix) - 1)
54.               || !WPACKET_memcpy(&pkt, label, labellen)

ssl/packet.c:277:1: Parameter `lenbytes`
  275.   }
  276.   
  277. > int WPACKET_start_sub_packet_len__(WPACKET *pkt, size_t lenbytes)
  278.   {
  279.       WPACKET_SUB *sub;

ssl/packet.c:294:5: Assignment
  292.       pkt->subs = sub;
  293.       sub->pwritten = pkt->written + lenbytes;
  294.       sub->lenbytes = lenbytes;
             ^
  295.   
  296.       if (lenbytes == 0) {

ssl/tls13_enc.c:55:17: Call
53.               || !WPACKET_memcpy(&pkt, label_prefix, sizeof(label_prefix) - 1)
54.               || !WPACKET_memcpy(&pkt, label, labellen)
55.               || !WPACKET_close(&pkt)
                      ^
56.               || !WPACKET_sub_memcpy_u8(&pkt, hash, (hash == NULL) ? 0 : hashlen)
57.               || !WPACKET_get_total_written(&pkt, &hkdflabellen)

ssl/packet.c:245:1: Parameter `pkt->curr`
  243.   }
  244.   
  245. > int WPACKET_close(WPACKET *pkt)
  246.   {
  247.       /*

ssl/packet.c:254:12: Call
  252.           return 0;
  253.   
  254.       return wpacket_intern_close(pkt, pkt->subs, 1);
                    ^
  255.   }
  256.   

ssl/packet.c:188:1: <LHS trace>
186.    * (i.e. it fills in all the lengths), but doesn't actually close anything.
187.    */
188. > static int wpacket_intern_close(WPACKET *pkt, WPACKET_SUB *sub, int doclose)
189.   {
190.       size_t packlen = pkt->written - sub->pwritten;

ssl/packet.c:188:1: Parameter `pkt->curr`
    186.    * (i.e. it fills in all the lengths), but doesn't actually close anything.
    187.    */
    188. > static int wpacket_intern_close(WPACKET *pkt, WPACKET_SUB *sub, int doclose)
    189.   {
    190.       size_t packlen = pkt->written - sub->pwritten;

ssl/packet.c:188:1: <RHS trace>
186.    * (i.e. it fills in all the lengths), but doesn't actually close anything.
187.    */
188. > static int wpacket_intern_close(WPACKET *pkt, WPACKET_SUB *sub, int doclose)
189.   {
190.       size_t packlen = pkt->written - sub->pwritten;

ssl/packet.c:188:1: Parameter `sub->lenbytes`
    186.    * (i.e. it fills in all the lengths), but doesn't actually close anything.
    187.    */
    188. > static int wpacket_intern_close(WPACKET *pkt, WPACKET_SUB *sub, int doclose)
    189.   {
    190.       size_t packlen = pkt->written - sub->pwritten;

ssl/packet.c:203:13: Binary operation: ([0, +oo] - 1):unsigned64 by call to `WPACKET_close` 
    201.   
    202.           /* Deallocate any bytes allocated for the length of the WPACKET */
    203.           if ((pkt->curr - sub->lenbytes) == sub->packet_len) {
                       ^
    204.               pkt->written -= sub->lenbytes;
    205.               pkt->curr -= sub->lenbytes;

static int wpacket_intern_close(WPACKET *pkt, WPACKET_SUB *sub, int doclose)
{
    size_t packlen = pkt->written - sub->pwritten;
    if (packlen == 0
            && (sub->flags & WPACKET_FLAGS_NON_ZERO_LENGTH) != 0)
        return 0;
    if (packlen == 0
            && sub->flags & WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH) {
        if (!doclose)
            return 0;
        if ((pkt->curr - sub->lenbytes) == sub->packet_len) {
            pkt->written -= sub->lenbytes;
            pkt->curr -= sub->lenbytes;
        }
        sub->packet_len = 0;
        sub->lenbytes = 0;
    }
    if (sub->lenbytes > 0
                && !put_value(&GETBUF(pkt)[sub->packet_len], packlen,
                              sub->lenbytes))
            return 0;
    if (doclose) {
        pkt->subs = sub->parent;
        OPENSSL_free(sub);
    }
    return 1;
}
['int tls13_hkdf_expand(SSL *s, const EVP_MD *md, const unsigned char *secret,\n                             const unsigned char *label, size_t labellen,\n                             const unsigned char *hash,\n                             unsigned char *out, size_t outlen)\n{\n    const unsigned char label_prefix[] = "TLS 1.3, ";\n    EVP_PKEY_CTX *pctx = EVP_PKEY_CTX_new_id(EVP_PKEY_HKDF, NULL);\n    int ret;\n    size_t hkdflabellen;\n    size_t hashlen;\n    unsigned char hkdflabel[sizeof(uint16_t) + sizeof(uint8_t) +\n                            + sizeof(label_prefix) + TLS13_MAX_LABEL_LEN\n                            + EVP_MAX_MD_SIZE];\n    WPACKET pkt;\n    if (pctx == NULL)\n        return 0;\n    hashlen = EVP_MD_size(md);\n    if (!WPACKET_init_static_len(&pkt, hkdflabel, sizeof(hkdflabel), 0)\n            || !WPACKET_put_bytes_u16(&pkt, outlen)\n            || !WPACKET_start_sub_packet_u8(&pkt)\n            || !WPACKET_memcpy(&pkt, label_prefix, sizeof(label_prefix) - 1)\n            || !WPACKET_memcpy(&pkt, label, labellen)\n            || !WPACKET_close(&pkt)\n            || !WPACKET_sub_memcpy_u8(&pkt, hash, (hash == NULL) ? 0 : hashlen)\n            || !WPACKET_get_total_written(&pkt, &hkdflabellen)\n            || !WPACKET_finish(&pkt)) {\n        WPACKET_cleanup(&pkt);\n        return 0;\n    }\n    ret = EVP_PKEY_derive_init(pctx) <= 0\n            || EVP_PKEY_CTX_hkdf_mode(pctx, EVP_PKEY_HKDEF_MODE_EXPAND_ONLY)\n               <= 0\n            || EVP_PKEY_CTX_set_hkdf_md(pctx, md) <= 0\n            || EVP_PKEY_CTX_set1_hkdf_key(pctx, secret, hashlen) <= 0\n            || EVP_PKEY_CTX_add1_hkdf_info(pctx, hkdflabel, hkdflabellen) <= 0\n            || EVP_PKEY_derive(pctx, out, &outlen) <= 0;\n    EVP_PKEY_CTX_free(pctx);\n    return ret == 0;\n}', 'int WPACKET_start_sub_packet_len__(WPACKET *pkt, size_t lenbytes)\n{\n    WPACKET_SUB *sub;\n    unsigned char *lenchars;\n    assert(pkt->subs != NULL);\n    if (pkt->subs == NULL)\n        return 0;\n    sub = OPENSSL_zalloc(sizeof(*sub));\n    if (sub == NULL)\n        return 0;\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    if (!WPACKET_allocate_bytes(pkt, lenbytes, &lenchars))\n        return 0;\n    sub->packet_len = lenchars - GETBUF(pkt);\n    return 1;\n}', 'int WPACKET_close(WPACKET *pkt)\n{\n    if (pkt->subs == NULL || pkt->subs->parent == NULL)\n        return 0;\n    return wpacket_intern_close(pkt, pkt->subs, 1);\n}', 'static int wpacket_intern_close(WPACKET *pkt, WPACKET_SUB *sub, int doclose)\n{\n    size_t packlen = pkt->written - sub->pwritten;\n    if (packlen == 0\n            && (sub->flags & WPACKET_FLAGS_NON_ZERO_LENGTH) != 0)\n        return 0;\n    if (packlen == 0\n            && sub->flags & WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH) {\n        if (!doclose)\n            return 0;\n        if ((pkt->curr - sub->lenbytes) == sub->packet_len) {\n            pkt->written -= sub->lenbytes;\n            pkt->curr -= sub->lenbytes;\n        }\n        sub->packet_len = 0;\n        sub->lenbytes = 0;\n    }\n    if (sub->lenbytes > 0\n                && !put_value(&GETBUF(pkt)[sub->packet_len], packlen,\n                              sub->lenbytes))\n            return 0;\n    if (doclose) {\n        pkt->subs = sub->parent;\n        OPENSSL_free(sub);\n    }\n    return 1;\n}']