test/tls13secretstest.c:324: error: INTEGER_OVERFLOW_L2
  ([0, 8] - 1):unsigned32 by call to `SSL_free`.
Showing all 18 steps of the trace


test/tls13secretstest.c:219:11: Call
217.       size_t master_secret_length;
218.   
219.       ctx = SSL_CTX_new(TLS_method());
                 ^
220.       if (ctx == NULL)
221.           goto err;

ssl/ssl_lib.c:2470:21: Call
  2468.           goto err;
  2469.   
  2470.       ret->sessions = lh_SSL_SESSION_new(ssl_session_hash, ssl_session_cmp);
                              ^
  2471.       if (ret->sessions == NULL)
  2472.           goto err;

ssl/ssl_locl.h:598:1: Call
    596.   };
    597.   
    598. > DEFINE_LHASH_OF(SSL_SESSION);
    599.   /* Needed in ssl_cert.c */
    600.   DEFINE_LHASH_OF(X509_NAME);

crypto/lhash/lhash.c:37:5: Assignment
      35.       ret->comp = ((c == NULL) ? (OPENSSL_LH_COMPFUNC)strcmp : c);
      36.       ret->hash = ((h == NULL) ? (OPENSSL_LH_HASHFUNC)OPENSSL_LH_strhash : h);
      37.       ret->num_nodes = MIN_NODES / 2;
                ^
      38.       ret->num_alloc_nodes = MIN_NODES;
      39.       ret->pmax = MIN_NODES / 2;

test/tls13secretstest.c:324:5: Call
322.       ret = 1;
323.    err:
324.       SSL_free(s);
           ^
325.       SSL_CTX_free(ctx);
326.       return ret;

ssl/ssl_lib.c:961:1: Parameter `s->ctx->sessions->num_nodes`
  959.   }
  960.   
  961. > void SSL_free(SSL *s)
  962.   {
  963.       int i;

ssl/ssl_lib.c:1026:5: Call
  1024.       RECORD_LAYER_release(&s->rlayer);
  1025.   
  1026.       SSL_CTX_free(s->ctx);
              ^
  1027.   
  1028.       ASYNC_WAIT_CTX_free(s->waitctx);

ssl/ssl_lib.c:2581:1: Parameter `a->sessions->num_nodes`
    2579.   }
    2580.   
    2581. > void SSL_CTX_free(SSL_CTX *a)
    2582.   {
    2583.       int i;

ssl/ssl_lib.c:2607:9: Call
    2605.        */
    2606.       if (a->sessions != NULL)
    2607.           SSL_CTX_flush_sessions(a, 0);
                    ^
    2608.   
    2609.       CRYPTO_free_ex_data(CRYPTO_EX_INDEX_SSL_CTX, a, &a->ex_data);

ssl/ssl_sess.c:991:1: Parameter `s->sessions->num_nodes`
      989.   IMPLEMENT_LHASH_DOALL_ARG(SSL_SESSION, TIMEOUT_PARAM);
      990.   
      991. > void SSL_CTX_flush_sessions(SSL_CTX *s, long t)
      992.   {
      993.       unsigned long i;

ssl/ssl_sess.c:1004:5: Call
      1002.       i = lh_SSL_SESSION_get_down_load(s->sessions);
      1003.       lh_SSL_SESSION_set_down_load(s->sessions, 0);
      1004.       lh_SSL_SESSION_doall_TIMEOUT_PARAM(tp.cache, timeout_cb, &tp);
                  ^
      1005.       lh_SSL_SESSION_set_down_load(s->sessions, i);
      1006.       CRYPTO_THREAD_unlock(s->lock);

ssl/ssl_sess.c:989:1: Parameter `lh->num_nodes`
        987.   }
        988.   
        989. > IMPLEMENT_LHASH_DOALL_ARG(SSL_SESSION, TIMEOUT_PARAM);
        990.   
        991.   void SSL_CTX_flush_sessions(SSL_CTX *s, long t)

ssl/ssl_sess.c:989:1: Call
        987.   }
        988.   
        989. > IMPLEMENT_LHASH_DOALL_ARG(SSL_SESSION, TIMEOUT_PARAM);
        990.   
        991.   void SSL_CTX_flush_sessions(SSL_CTX *s, long t)

crypto/lhash/lhash.c:182:1: Parameter `lh->num_nodes`
          180.   }
          181.   
          182. > void OPENSSL_LH_doall_arg(OPENSSL_LHASH *lh, OPENSSL_LH_DOALL_FUNCARG func, void *arg)
          183.   {
          184.       doall_util_fn(lh, 1, (OPENSSL_LH_DOALL_FUNC)0, func, arg);

crypto/lhash/lhash.c:184:5: Call
          182.   void OPENSSL_LH_doall_arg(OPENSSL_LHASH *lh, OPENSSL_LH_DOALL_FUNCARG func, void *arg)
          183.   {
          184.       doall_util_fn(lh, 1, (OPENSSL_LH_DOALL_FUNC)0, func, arg);
                     ^
          185.   }
          186.   

crypto/lhash/lhash.c:150:1: <LHS trace>
148.   }
149.   
150. > static void doall_util_fn(OPENSSL_LHASH *lh, int use_arg,
151.                             OPENSSL_LH_DOALL_FUNC func,
152.                             OPENSSL_LH_DOALL_FUNCARG func_arg, void *arg)

crypto/lhash/lhash.c:150:1: Parameter `lh->num_nodes`
            148.   }
            149.   
            150. > static void doall_util_fn(OPENSSL_LHASH *lh, int use_arg,
            151.                             OPENSSL_LH_DOALL_FUNC func,
            152.                             OPENSSL_LH_DOALL_FUNCARG func_arg, void *arg)

crypto/lhash/lhash.c:164:10: Binary operation: ([0, 8] - 1):unsigned32 by call to `SSL_free` 
            162.        * memory leaks otherwise
            163.        */
            164.       for (i = lh->num_nodes - 1; i >= 0; i--) {
                            ^
            165.           a = lh->b[i];
            166.           while (a != NULL) {

static void doall_util_fn(OPENSSL_LHASH *lh, int use_arg,
                          OPENSSL_LH_DOALL_FUNC func,
                          OPENSSL_LH_DOALL_FUNCARG func_arg, void *arg)
{
    int i;
    OPENSSL_LH_NODE *a, *n;
    if (lh == NULL)
        return;
    for (i = lh->num_nodes - 1; i >= 0; i--) {
        a = lh->b[i];
        while (a != NULL) {
            n = a->next;
            if (use_arg)
                func_arg(a->data, arg);
            else
                func(a->data);
            a = n;
        }
    }
}
['static int test_handshake_secrets(void)\n{\n    SSL_CTX *ctx = NULL;\n    SSL *s = NULL;\n    int ret = 0;\n    size_t hashsize;\n    unsigned char out_master_secret[EVP_MAX_MD_SIZE];\n    size_t master_secret_length;\n    ctx = SSL_CTX_new(TLS_method());\n    if (ctx == NULL)\n        goto err;\n    s = SSL_new(ctx);\n    if (s == NULL)\n        goto err;\n    if (!tls13_generate_early_secret(s, NULL, 0)) {\n        fprintf(stderr, "Early secret generation failed\\n");\n        goto err;\n    }\n    if (memcmp(s->early_secret, early_secret, sizeof(early_secret)) != 0) {\n        fprintf(stderr, "Early secret does not match\\n");\n        goto err;\n    }\n    if (!tls13_generate_handshake_secret(s, ecdhe_secret,\n                                         sizeof(ecdhe_secret))) {\n        fprintf(stderr, "Hanshake secret generation failed\\n");\n        goto err;\n    }\n    if (memcmp(s->handshake_secret, handshake_secret,\n               sizeof(handshake_secret)) != 0) {\n        fprintf(stderr, "Handshake secret does not match\\n");\n        goto err;\n    }\n    hashsize = EVP_MD_size(ssl_handshake_md(s));\n    if (sizeof(client_hts) != hashsize || sizeof(client_hts_key) != KEYLEN\n            || sizeof(client_hts_iv) != IVLEN) {\n        fprintf(stderr, "Internal test error\\n");\n        goto err;\n    }\n    if (!test_secret(s, s->handshake_secret, (unsigned char *)client_hts_label,\n                     strlen(client_hts_label), client_hts, client_hts_key,\n                     client_hts_iv)) {\n        fprintf(stderr, "Client handshake secret test failed\\n");\n        goto err;\n    }\n    if (sizeof(server_hts) != hashsize || sizeof(server_hts_key) != KEYLEN\n            || sizeof(server_hts_iv) != IVLEN) {\n        fprintf(stderr, "Internal test error\\n");\n        goto err;\n    }\n    if (!test_secret(s, s->handshake_secret, (unsigned char *)server_hts_label,\n                     strlen(server_hts_label), server_hts, server_hts_key,\n                     server_hts_iv)) {\n        fprintf(stderr, "Server handshake secret test failed\\n");\n        goto err;\n    }\n    full_hash = 1;\n    if (!tls13_generate_master_secret(s, out_master_secret,\n                                      s->handshake_secret, hashsize,\n                                      &master_secret_length)) {\n        fprintf(stderr, "Master secret generation failed\\n");\n        goto err;\n    }\n    if (master_secret_length != sizeof(master_secret) ||\n            memcmp(out_master_secret, master_secret,\n                   sizeof(master_secret)) != 0) {\n        fprintf(stderr, "Master secret does not match\\n");\n        goto err;\n    }\n    if (sizeof(client_ats) != hashsize || sizeof(client_ats_key) != KEYLEN\n            || sizeof(client_ats_iv) != IVLEN) {\n        fprintf(stderr, "Internal test error\\n");\n        goto err;\n    }\n    if (!test_secret(s, out_master_secret, (unsigned char *)client_ats_label,\n                     strlen(client_ats_label), client_ats, client_ats_key,\n                     client_ats_iv)) {\n        fprintf(stderr, "Client application data secret test failed\\n");\n        goto err;\n    }\n    if (sizeof(server_ats) != hashsize || sizeof(server_ats_key) != KEYLEN\n            || sizeof(server_ats_iv) != IVLEN) {\n        fprintf(stderr, "Internal test error\\n");\n        goto err;\n    }\n    if (!test_secret(s, out_master_secret, (unsigned char *)server_ats_label,\n                     strlen(server_ats_label), server_ats, server_ats_key,\n                     server_ats_iv)) {\n        fprintf(stderr, "Server application data secret test failed\\n");\n        goto err;\n    }\n    ret = 1;\n err:\n    SSL_free(s);\n    SSL_CTX_free(ctx);\n    return ret;\n}', 'SSL_CTX *SSL_CTX_new(const SSL_METHOD *meth)\n{\n    SSL_CTX *ret = NULL;\n    if (meth == NULL) {\n        SSLerr(SSL_F_SSL_CTX_NEW, SSL_R_NULL_SSL_METHOD_PASSED);\n        return (NULL);\n    }\n    if (!OPENSSL_init_ssl(OPENSSL_INIT_LOAD_SSL_STRINGS, NULL))\n        return NULL;\n    if (FIPS_mode() && (meth->version < TLS1_VERSION)) {\n        SSLerr(SSL_F_SSL_CTX_NEW, SSL_R_AT_LEAST_TLS_1_0_NEEDED_IN_FIPS_MODE);\n        return NULL;\n    }\n    if (SSL_get_ex_data_X509_STORE_CTX_idx() < 0) {\n        SSLerr(SSL_F_SSL_CTX_NEW, SSL_R_X509_VERIFICATION_SETUP_PROBLEMS);\n        goto err;\n    }\n    ret = OPENSSL_zalloc(sizeof(*ret));\n    if (ret == NULL)\n        goto err;\n    ret->method = meth;\n    ret->min_proto_version = 0;\n    ret->max_proto_version = 0;\n    ret->session_cache_mode = SSL_SESS_CACHE_SERVER;\n    ret->session_cache_size = SSL_SESSION_CACHE_MAX_SIZE_DEFAULT;\n    ret->session_timeout = meth->get_timeout();\n    ret->references = 1;\n    ret->lock = CRYPTO_THREAD_lock_new();\n    if (ret->lock == NULL) {\n        SSLerr(SSL_F_SSL_CTX_NEW, ERR_R_MALLOC_FAILURE);\n        OPENSSL_free(ret);\n        return NULL;\n    }\n    ret->max_cert_list = SSL_MAX_CERT_LIST_DEFAULT;\n    ret->verify_mode = SSL_VERIFY_NONE;\n    if ((ret->cert = ssl_cert_new()) == NULL)\n        goto err;\n    ret->sessions = lh_SSL_SESSION_new(ssl_session_hash, ssl_session_cmp);\n    if (ret->sessions == NULL)\n        goto err;\n    ret->cert_store = X509_STORE_new();\n    if (ret->cert_store == NULL)\n        goto err;\n#ifndef OPENSSL_NO_CT\n    ret->ctlog_store = CTLOG_STORE_new();\n    if (ret->ctlog_store == NULL)\n        goto err;\n#endif\n    if (!ssl_create_cipher_list(ret->method,\n                                &ret->cipher_list, &ret->cipher_list_by_id,\n                                SSL_DEFAULT_CIPHER_LIST, ret->cert)\n        || sk_SSL_CIPHER_num(ret->cipher_list) <= 0) {\n        SSLerr(SSL_F_SSL_CTX_NEW, SSL_R_LIBRARY_HAS_NO_CIPHERS);\n        goto err2;\n    }\n    ret->param = X509_VERIFY_PARAM_new();\n    if (ret->param == NULL)\n        goto err;\n    if ((ret->md5 = EVP_get_digestbyname("ssl3-md5")) == NULL) {\n        SSLerr(SSL_F_SSL_CTX_NEW, SSL_R_UNABLE_TO_LOAD_SSL3_MD5_ROUTINES);\n        goto err2;\n    }\n    if ((ret->sha1 = EVP_get_digestbyname("ssl3-sha1")) == NULL) {\n        SSLerr(SSL_F_SSL_CTX_NEW, SSL_R_UNABLE_TO_LOAD_SSL3_SHA1_ROUTINES);\n        goto err2;\n    }\n    if ((ret->client_CA = sk_X509_NAME_new_null()) == NULL)\n        goto err;\n    if (!CRYPTO_new_ex_data(CRYPTO_EX_INDEX_SSL_CTX, ret, &ret->ex_data))\n        goto err;\n    if (!(meth->ssl3_enc->enc_flags & SSL_ENC_FLAG_DTLS))\n        ret->comp_methods = SSL_COMP_get_compression_methods();\n    ret->max_send_fragment = SSL3_RT_MAX_PLAIN_LENGTH;\n    ret->split_send_fragment = SSL3_RT_MAX_PLAIN_LENGTH;\n    if ((RAND_bytes(ret->tlsext_tick_key_name,\n                    sizeof(ret->tlsext_tick_key_name)) <= 0)\n        || (RAND_bytes(ret->tlsext_tick_hmac_key,\n                       sizeof(ret->tlsext_tick_hmac_key)) <= 0)\n        || (RAND_bytes(ret->tlsext_tick_aes_key,\n                       sizeof(ret->tlsext_tick_aes_key)) <= 0))\n        ret->options |= SSL_OP_NO_TICKET;\n#ifndef OPENSSL_NO_SRP\n    if (!SSL_CTX_SRP_CTX_init(ret))\n        goto err;\n#endif\n#ifndef OPENSSL_NO_ENGINE\n# ifdef OPENSSL_SSL_CLIENT_ENGINE_AUTO\n#  define eng_strx(x)     #x\n#  define eng_str(x)      eng_strx(x)\n    {\n        ENGINE *eng;\n        eng = ENGINE_by_id(eng_str(OPENSSL_SSL_CLIENT_ENGINE_AUTO));\n        if (!eng) {\n            ERR_clear_error();\n            ENGINE_load_builtin_engines();\n            eng = ENGINE_by_id(eng_str(OPENSSL_SSL_CLIENT_ENGINE_AUTO));\n        }\n        if (!eng || !SSL_CTX_set_client_cert_engine(ret, eng))\n            ERR_clear_error();\n    }\n# endif\n#endif\n    ret->options |= SSL_OP_LEGACY_SERVER_CONNECT;\n    ret->options |= SSL_OP_NO_COMPRESSION;\n    ret->tlsext_status_type = -1;\n    return ret;\n err:\n    SSLerr(SSL_F_SSL_CTX_NEW, ERR_R_MALLOC_FAILURE);\n err2:\n    SSL_CTX_free(ret);\n    return NULL;\n}', 'DEFINE_LHASH_OF(SSL_SESSION)', 'OPENSSL_LHASH *OPENSSL_LH_new(OPENSSL_LH_HASHFUNC h, OPENSSL_LH_COMPFUNC c)\n{\n    OPENSSL_LHASH *ret;\n    if ((ret = OPENSSL_zalloc(sizeof(*ret))) == NULL)\n        goto err0;\n    if ((ret->b = OPENSSL_zalloc(sizeof(*ret->b) * MIN_NODES)) == NULL)\n        goto err1;\n    ret->comp = ((c == NULL) ? (OPENSSL_LH_COMPFUNC)strcmp : c);\n    ret->hash = ((h == NULL) ? (OPENSSL_LH_HASHFUNC)OPENSSL_LH_strhash : h);\n    ret->num_nodes = MIN_NODES / 2;\n    ret->num_alloc_nodes = MIN_NODES;\n    ret->pmax = MIN_NODES / 2;\n    ret->up_load = UP_LOAD;\n    ret->down_load = DOWN_LOAD;\n    return (ret);\n err1:\n    OPENSSL_free(ret);\n err0:\n    return (NULL);\n}', 'void SSL_free(SSL *s)\n{\n    int i;\n    if (s == NULL)\n        return;\n    CRYPTO_atomic_add(&s->references, -1, &i, s->lock);\n    REF_PRINT_COUNT("SSL", s);\n    if (i > 0)\n        return;\n    REF_ASSERT_ISNT(i < 0);\n    X509_VERIFY_PARAM_free(s->param);\n    dane_final(&s->dane);\n    CRYPTO_free_ex_data(CRYPTO_EX_INDEX_SSL, s, &s->ex_data);\n    ssl_free_wbio_buffer(s);\n    BIO_free_all(s->wbio);\n    BIO_free_all(s->rbio);\n    BUF_MEM_free(s->init_buf);\n    sk_SSL_CIPHER_free(s->cipher_list);\n    sk_SSL_CIPHER_free(s->cipher_list_by_id);\n    if (s->session != NULL) {\n        ssl_clear_bad_session(s);\n        SSL_SESSION_free(s->session);\n    }\n    clear_ciphers(s);\n    ssl_cert_free(s->cert);\n    OPENSSL_free(s->tlsext_hostname);\n    SSL_CTX_free(s->initial_ctx);\n#ifndef OPENSSL_NO_EC\n    OPENSSL_free(s->tlsext_ecpointformatlist);\n    OPENSSL_free(s->tlsext_ellipticcurvelist);\n#endif\n    sk_X509_EXTENSION_pop_free(s->tlsext_ocsp_exts, X509_EXTENSION_free);\n#ifndef OPENSSL_NO_OCSP\n    sk_OCSP_RESPID_pop_free(s->tlsext_ocsp_ids, OCSP_RESPID_free);\n#endif\n#ifndef OPENSSL_NO_CT\n    SCT_LIST_free(s->scts);\n    OPENSSL_free(s->tlsext_scts);\n#endif\n    OPENSSL_free(s->tlsext_ocsp_resp);\n    OPENSSL_free(s->alpn_client_proto_list);\n    sk_X509_NAME_pop_free(s->client_CA, X509_NAME_free);\n    sk_X509_pop_free(s->verified_chain, X509_free);\n    if (s->method != NULL)\n        s->method->ssl_free(s);\n    RECORD_LAYER_release(&s->rlayer);\n    SSL_CTX_free(s->ctx);\n    ASYNC_WAIT_CTX_free(s->waitctx);\n#if !defined(OPENSSL_NO_NEXTPROTONEG)\n    OPENSSL_free(s->next_proto_negotiated);\n#endif\n#ifndef OPENSSL_NO_SRTP\n    sk_SRTP_PROTECTION_PROFILE_free(s->srtp_profiles);\n#endif\n    CRYPTO_THREAD_lock_free(s->lock);\n    OPENSSL_free(s);\n}', 'void SSL_CTX_free(SSL_CTX *a)\n{\n    int i;\n    if (a == NULL)\n        return;\n    CRYPTO_atomic_add(&a->references, -1, &i, a->lock);\n    REF_PRINT_COUNT("SSL_CTX", a);\n    if (i > 0)\n        return;\n    REF_ASSERT_ISNT(i < 0);\n    X509_VERIFY_PARAM_free(a->param);\n    dane_ctx_final(&a->dane);\n    if (a->sessions != NULL)\n        SSL_CTX_flush_sessions(a, 0);\n    CRYPTO_free_ex_data(CRYPTO_EX_INDEX_SSL_CTX, a, &a->ex_data);\n    lh_SSL_SESSION_free(a->sessions);\n    X509_STORE_free(a->cert_store);\n#ifndef OPENSSL_NO_CT\n    CTLOG_STORE_free(a->ctlog_store);\n#endif\n    sk_SSL_CIPHER_free(a->cipher_list);\n    sk_SSL_CIPHER_free(a->cipher_list_by_id);\n    ssl_cert_free(a->cert);\n    sk_X509_NAME_pop_free(a->client_CA, X509_NAME_free);\n    sk_X509_pop_free(a->extra_certs, X509_free);\n    a->comp_methods = NULL;\n#ifndef OPENSSL_NO_SRTP\n    sk_SRTP_PROTECTION_PROFILE_free(a->srtp_profiles);\n#endif\n#ifndef OPENSSL_NO_SRP\n    SSL_CTX_SRP_CTX_free(a);\n#endif\n#ifndef OPENSSL_NO_ENGINE\n    ENGINE_finish(a->client_cert_engine);\n#endif\n#ifndef OPENSSL_NO_EC\n    OPENSSL_free(a->tlsext_ecpointformatlist);\n    OPENSSL_free(a->tlsext_ellipticcurvelist);\n#endif\n    OPENSSL_free(a->alpn_client_proto_list);\n    CRYPTO_THREAD_lock_free(a->lock);\n    OPENSSL_free(a);\n}', 'void SSL_CTX_flush_sessions(SSL_CTX *s, long t)\n{\n    unsigned long i;\n    TIMEOUT_PARAM tp;\n    tp.ctx = s;\n    tp.cache = s->sessions;\n    if (tp.cache == NULL)\n        return;\n    tp.time = t;\n    CRYPTO_THREAD_write_lock(s->lock);\n    i = lh_SSL_SESSION_get_down_load(s->sessions);\n    lh_SSL_SESSION_set_down_load(s->sessions, 0);\n    lh_SSL_SESSION_doall_TIMEOUT_PARAM(tp.cache, timeout_cb, &tp);\n    lh_SSL_SESSION_set_down_load(s->sessions, i);\n    CRYPTO_THREAD_unlock(s->lock);\n}', 'IMPLEMENT_LHASH_DOALL_ARG(SSL_SESSION, TIMEOUT_PARAM)', 'void OPENSSL_LH_doall_arg(OPENSSL_LHASH *lh, OPENSSL_LH_DOALL_FUNCARG func, void *arg)\n{\n    doall_util_fn(lh, 1, (OPENSSL_LH_DOALL_FUNC)0, func, arg);\n}', 'static void doall_util_fn(OPENSSL_LHASH *lh, int use_arg,\n                          OPENSSL_LH_DOALL_FUNC func,\n                          OPENSSL_LH_DOALL_FUNCARG func_arg, void *arg)\n{\n    int i;\n    OPENSSL_LH_NODE *a, *n;\n    if (lh == NULL)\n        return;\n    for (i = lh->num_nodes - 1; i >= 0; i--) {\n        a = lh->b[i];\n        while (a != NULL) {\n            n = a->next;\n            if (use_arg)\n                func_arg(a->data, arg);\n            else\n                func(a->data);\n            a = n;\n        }\n    }\n}']