qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: "Marc-André Lureau" <marcandre.lureau@redhat.com>
To: "Daniel P. Berrangé" <berrange@redhat.com>
Cc: qemu-devel@nongnu.org, devel@lists.libvirt.org
Subject: Re: [PATCH 13/21] crypto: introduce a wrapper around gnutls credentials
Date: Fri, 31 Oct 2025 15:23:51 +0400	[thread overview]
Message-ID: <CAMxuvazU6nyXUsmSATMNHz8jevDT2=7A+x=fZ7-K7fr+aVOkDQ@mail.gmail.com> (raw)
In-Reply-To: <20251030144927.2241109-14-berrange@redhat.com>

[-- Attachment #1: Type: text/plain, Size: 7013 bytes --]

Hi

On Thu, Oct 30, 2025 at 6:49 PM Daniel P. Berrangé <berrange@redhat.com>
wrote:

> The gnutls_credentials_set() method has a very suprising API contract
> that requires the caller to preserve the passed in credentials pointer
> for as long as the gnutls_session_t object is alive. QEMU is failing
> to ensure this happens.
>
> In QEMU the GNUTLS credentials object is owned by the QCryptoTLSCreds
> object instance while the GNUTLS session object is owned by the
> QCryptoTLSSession object instance. Their lifetimes are not guaranteed
> to be the same, though in most common usage the credentials will outlive
> the session. This is notably not the case, however, after the VNC server
> gained the ability to reload credentials on the fly with:
>
>   commit 1f08e3415120637cad7f540d9ceb4dba3136dbdd
>   Author: Zihao Chang <changzihao1@huawei.com>
>   Date:   Tue Mar 16 15:58:44 2021 +0800
>
>     vnc: support reload x509 certificates for vnc
>
> If that is triggered while a VNC client is in the middle of performing
> a TLS handshake, we might hit a use-after-free.
>
> It is difficult to correct this problem because there's no way to deep-
> clone a GNUTLS credentials object, nor is it reference counted. Thus we
> introduce a QCryptoTLSCredsBox object whose only purpose is to add
> reference counting around the GNUTLS credentials object.
>
> The DH parameters set against a credentials object also have to be kept
> alive for as long as the credentials exist. So the box must also hold
> the DH parameters pointer.
>
> Signed-off-by: Daniel P. Berrangé <berrange@redhat.com>
>

Reviewed-by: Marc-André Lureau <marcandre.lureau@redhat.com>


> ---
>  crypto/meson.build   |   5 ++-
>  crypto/tlscredsbox.c | 101 +++++++++++++++++++++++++++++++++++++++++++
>  crypto/tlscredsbox.h |  46 ++++++++++++++++++++
>  3 files changed, 151 insertions(+), 1 deletion(-)
>  create mode 100644 crypto/tlscredsbox.c
>  create mode 100644 crypto/tlscredsbox.h
>
> diff --git a/crypto/meson.build b/crypto/meson.build
> index 735635de1f..1fc14b2a04 100644
> --- a/crypto/meson.build
> +++ b/crypto/meson.build
> @@ -25,7 +25,10 @@ crypto_ss.add(files(
>  ))
>
>  if gnutls.found()
> -  crypto_ss.add(files('x509-utils.c'))
> +  crypto_ss.add(files(
> +    'tlscredsbox.c',
> +    'x509-utils.c',
> +  ))
>  endif
>
>  if nettle.found()
> diff --git a/crypto/tlscredsbox.c b/crypto/tlscredsbox.c
> new file mode 100644
> index 0000000000..b8d9846af8
> --- /dev/null
> +++ b/crypto/tlscredsbox.c
> @@ -0,0 +1,101 @@
> +/*
> + * SPDX-License-Identifier: GPL-2.0-or-later
> + *
> + * QEMU crypto TLS credential support
> + *
> + * Copyright (c) 2025 Red Hat, Inc.
> + */
> +
> +#include "qemu/osdep.h"
> +#include "crypto/tlscredsbox.h"
> +#include "qemu/atomic.h"
> +
> +
> +static QCryptoTLSCredsBox *
> +qcrypto_tls_creds_box_new_impl(int type, bool server)
> +{
> +    QCryptoTLSCredsBox *credsbox = g_new0(QCryptoTLSCredsBox, 1);
> +    credsbox->ref = 1;
> +    credsbox->server = server;
> +    credsbox->type = type;
> +    return credsbox;
> +}
> +
> +
> +QCryptoTLSCredsBox *
> +qcrypto_tls_creds_box_new_server(int type)
> +{
> +    return qcrypto_tls_creds_box_new_impl(type, true);
> +}
> +
> +
> +QCryptoTLSCredsBox *
> +qcrypto_tls_creds_box_new_client(int type)
> +{
> +    return qcrypto_tls_creds_box_new_impl(type, false);
> +}
> +
> +static void qcrypto_tls_creds_box_free(QCryptoTLSCredsBox *credsbox)
> +{
> +    switch (credsbox->type) {
> +    case GNUTLS_CRD_CERTIFICATE:
> +        if (credsbox->data.cert) {
> +            gnutls_certificate_free_credentials(credsbox->data.cert);
> +        }
> +        break;
> +    case GNUTLS_CRD_PSK:
> +        if (credsbox->server) {
> +            if (credsbox->data.pskserver) {
> +
> gnutls_psk_free_server_credentials(credsbox->data.pskserver);
> +            }
> +        } else {
> +            if (credsbox->data.pskclient) {
> +
> gnutls_psk_free_client_credentials(credsbox->data.pskclient);
> +            }
> +        }
> +        break;
> +    case GNUTLS_CRD_ANON:
> +        if (credsbox->server) {
> +            if (credsbox->data.anonserver) {
> +
> gnutls_anon_free_server_credentials(credsbox->data.anonserver);
> +            }
> +        } else {
> +            if (credsbox->data.anonclient) {
> +
> gnutls_anon_free_client_credentials(credsbox->data.anonclient);
> +            }
> +        }
> +        break;
> +    default:
> +        g_assert_not_reached();
> +    }
> +
> +    if (credsbox->dh_params) {
> +        gnutls_dh_params_deinit(credsbox->dh_params);
> +    }
> +
> +    g_free(credsbox);
> +}
> +
> +
> +void qcrypto_tls_creds_box_ref(QCryptoTLSCredsBox *credsbox)
> +{
> +    uint32_t ref = qatomic_fetch_inc(&credsbox->ref);
> +    /* Assert waaay before the integer overflows */
> +    g_assert(ref < INT_MAX);
> +}
> +
> +
> +void qcrypto_tls_creds_box_unref(QCryptoTLSCredsBox *credsbox)
> +{
> +    if (!credsbox) {
> +        return;
> +    }
> +
> +    g_assert(credsbox->ref > 0);
> +
> +    if (qatomic_fetch_dec(&credsbox->ref) == 1) {
> +        qcrypto_tls_creds_box_free(credsbox);
> +    }
> +
> +}
> +
> diff --git a/crypto/tlscredsbox.h b/crypto/tlscredsbox.h
> new file mode 100644
> index 0000000000..5d89335f46
> --- /dev/null
> +++ b/crypto/tlscredsbox.h
> @@ -0,0 +1,46 @@
> +/*
> + * SPDX-License-Identifier: GPL-2.0-or-later
> + *
> + * QEMU crypto TLS credential support
> + *
> + * Copyright (c) 2025 Red Hat, Inc.
> + */
> +
> +#ifndef QCRYPTO_TLSCREDS_BOX_H
> +#define QCRYPTO_TLSCREDS_BOX_H
> +
> +#include "qom/object.h"
> +
> +#ifdef CONFIG_GNUTLS
> +#include <gnutls/gnutls.h>
> +#endif
> +
> +typedef struct QCryptoTLSCredsBox QCryptoTLSCredsBox;
> +
> +struct QCryptoTLSCredsBox {
> +    uint32_t ref;
> +    bool server;
> +    int type;
> +    union {
> +        void *any;
>

since any is used in code to cast the variant to a void *, it may be worth
a comment to say that all fields are expected to be pointers.


> +#ifdef CONFIG_GNUTLS
> +        gnutls_anon_server_credentials_t anonserver;
> +        gnutls_anon_client_credentials_t anonclient;
> +        gnutls_psk_server_credentials_t pskserver;
> +        gnutls_psk_client_credentials_t pskclient;
> +        gnutls_certificate_credentials_t cert;
> +#endif
> +    } data;
> +#ifdef CONFIG_GNUTLS
> +    gnutls_dh_params_t dh_params;
> +#endif
> +};
> +
> +QCryptoTLSCredsBox *qcrypto_tls_creds_box_new_server(int type);
> +QCryptoTLSCredsBox *qcrypto_tls_creds_box_new_client(int type);
> +void qcrypto_tls_creds_box_ref(QCryptoTLSCredsBox *credsbox);
> +void qcrypto_tls_creds_box_unref(QCryptoTLSCredsBox *credsbox);
> +
> +G_DEFINE_AUTOPTR_CLEANUP_FUNC(QCryptoTLSCredsBox,
> qcrypto_tls_creds_box_unref);
> +
> +#endif /* QCRYPTO_TLSCREDS_BOX_H */
> --
> 2.51.1
>
>

[-- Attachment #2: Type: text/html, Size: 8735 bytes --]

  reply	other threads:[~2025-10-31 11:26 UTC|newest]

Thread overview: 44+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-10-30 14:49 [PATCH 00/21] crypto: support multiple parallel certificate identities Daniel P. Berrangé
2025-10-30 14:49 ` [PATCH 01/21] crypto: remove redundant parameter checking CA certs Daniel P. Berrangé
2025-10-31 13:57   ` Philippe Mathieu-Daudé
2025-10-30 14:49 ` [PATCH 02/21] crypto: add missing free of certs array Daniel P. Berrangé
2025-10-30 14:49 ` [PATCH 03/21] crypto: replace stat() with access() for credential checks Daniel P. Berrangé
2025-10-31 13:58   ` Philippe Mathieu-Daudé
2025-10-30 14:49 ` [PATCH 04/21] crypto: remove redundant access() checks before loading certs Daniel P. Berrangé
2025-10-30 14:49 ` [PATCH 05/21] crypto: move check for TLS creds 'dir' property Daniel P. Berrangé
2025-10-30 14:49 ` [PATCH 06/21] crypto: use g_autofree when loading x509 credentials Daniel P. Berrangé
2025-10-31 13:59   ` Philippe Mathieu-Daudé
2025-10-30 14:49 ` [PATCH 07/21] crypto: remove needless indirection via parent_obj field Daniel P. Berrangé
2025-10-30 19:31   ` Marc-André Lureau
2025-10-31 14:00   ` Philippe Mathieu-Daudé
2025-10-30 14:49 ` [PATCH 08/21] crypto: move release of DH parameters into TLS creds parent Daniel P. Berrangé
2025-10-30 19:31   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 09/21] crypto: shorten the endpoint == server check in TLS creds Daniel P. Berrangé
2025-10-30 19:32   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 10/21] crypto: remove duplication loading x509 CA cert Daniel P. Berrangé
2025-10-30 19:31   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 11/21] crypto: reduce duplication in handling TLS priority strings Daniel P. Berrangé
2025-10-30 19:40   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 12/21] crypto: introduce method for reloading TLS creds Daniel P. Berrangé
2025-10-30 19:43   ` Marc-André Lureau
2025-10-31 11:31     ` Daniel P. Berrangé
2025-10-30 14:49 ` [PATCH 13/21] crypto: introduce a wrapper around gnutls credentials Daniel P. Berrangé
2025-10-31 11:23   ` Marc-André Lureau [this message]
2025-10-31 11:27     ` Daniel P. Berrangé
2025-10-30 14:49 ` [PATCH 14/21] crypto: fix lifecycle handling of gnutls credentials objects Daniel P. Berrangé
2025-10-31 11:24   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 15/21] crypto: make TLS credentials structs private Daniel P. Berrangé
2025-10-31 11:25   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 16/21] crypto: deprecate use of external dh-params.pem file Daniel P. Berrangé
2025-10-31 11:32   ` Marc-André Lureau
2025-10-31 11:38     ` Daniel P. Berrangé
2025-10-30 14:49 ` [PATCH 17/21] crypto: avoid loading the CA certs twice Daniel P. Berrangé
2025-10-31 15:08   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 18/21] crypto: avoid loading the identity " Daniel P. Berrangé
2025-11-01  9:25   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 19/21] crypto: expand logic to cope with multiple certificate identities Daniel P. Berrangé
2025-11-02  8:11   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 20/21] crypto: support upto 5 parallel " Daniel P. Berrangé
2025-11-02  8:25   ` Marc-André Lureau
2025-10-30 14:49 ` [PATCH 21/21] docs: creation of x509 certs compliant with post-quantum crypto Daniel P. Berrangé
2025-11-02 11:40   ` Marc-André Lureau

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAMxuvazU6nyXUsmSATMNHz8jevDT2=7A+x=fZ7-K7fr+aVOkDQ@mail.gmail.com' \
    --to=marcandre.lureau@redhat.com \
    --cc=berrange@redhat.com \
    --cc=devel@lists.libvirt.org \
    --cc=qemu-devel@nongnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).