From: "Daniel P. Berrangé" <berrange@redhat.com>
To: qemu-devel@nongnu.org
Cc: "Marc-André Lureau" <marcandre.lureau@redhat.com>,
"Alex Bennée" <alex.bennee@linaro.org>,
"Markus Armbruster" <armbru@redhat.com>,
"Peter Maydell" <peter.maydell@linaro.org>,
"Philippe Mathieu-Daudé" <philmd@oss.qualcomm.com>,
"Stefan Hajnoczi" <stefanha@redhat.com>,
"Paolo Bonzini" <pbonzini@redhat.com>,
"Michael S. Tsirkin" <mst@redhat.com>,
"Daniel P. Berrangé" <berrange@redhat.com>
Subject: [PATCH v4 01/14] qom: add tracking of security state of object types
Date: Thu, 10 Sep 2026 11:36:15 +0100 [thread overview]
Message-ID: <20260910103628.2326622-2-berrange@redhat.com> (raw)
In-Reply-To: <20260910103628.2326622-1-berrange@redhat.com>
This introduces a new flag "secure" against the Type/TypeInfo
structs, and helpers to check this against the ObjectClass
struct.
If an object is considered to provide a security boundary to
protect against untrusted code, the "secure" flag must be
explicitly set to true.
If it is set to false, or left unset, this indicates that
the object does not intend to provide a security boundary.
Bugs related to this object class will be ineligible for
CVE assignment.
Reviewed-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Daniel P. Berrangé <berrange@redhat.com>
---
include/qom/object.h | 13 +++++++++++++
qom/object.c | 7 +++++++
2 files changed, 20 insertions(+)
diff --git a/include/qom/object.h b/include/qom/object.h
index 7ecd0f210f..687ceb6bba 100644
--- a/include/qom/object.h
+++ b/include/qom/object.h
@@ -453,6 +453,10 @@ struct Object
* function.
* @abstract: If this field is true, then the class is considered abstract and
* cannot be directly instantiated.
+ * @secure: If this field is initialized to true, then the class is considered
+ * to provide a security boundary. If initialized to false, the class does
+ * not provide a security boundary. If uninitialized (and thus implicitly
+ * false) its status is not yet defined.
* @class_size: The size of the class object (derivative of #ObjectClass)
* for this object. If @class_size is 0, then the size of the class will be
* assumed to be the size of the parent class. This allows a type to avoid
@@ -487,6 +491,7 @@ struct TypeInfo
void (*instance_finalize)(Object *obj);
bool abstract;
+ bool secure;
size_t class_size;
void (*class_init)(ObjectClass *klass, const void *data);
@@ -1074,6 +1079,14 @@ const char *object_class_get_name(ObjectClass *klass);
*/
bool object_class_is_abstract(ObjectClass *klass);
+/**
+ * object_class_is_secure:
+ * @klass: The class to check security of
+ *
+ * Returns: %true if @klass is declared to be secure, %false if not declared
+ */
+bool object_class_is_secure(ObjectClass *klass);
+
/**
* object_class_by_name:
* @typename: The QOM typename to obtain the class for.
diff --git a/qom/object.c b/qom/object.c
index b1834a57cc..32736a0111 100644
--- a/qom/object.c
+++ b/qom/object.c
@@ -67,6 +67,7 @@ struct TypeImpl
void (*instance_finalize)(Object *obj);
bool abstract;
+ bool secure;
const char *parent;
TypeImpl *parent_type;
@@ -122,6 +123,7 @@ static TypeImpl *type_new(const TypeInfo *info)
ti->instance_finalize = info->instance_finalize;
ti->abstract = info->abstract;
+ ti->secure = info->secure;
for (i = 0; info->interfaces && info->interfaces[i].type; i++) {
ti->interfaces[i].typename = g_strdup(info->interfaces[i].type);
@@ -1144,6 +1146,11 @@ bool object_class_is_abstract(ObjectClass *klass)
return klass->type->abstract;
}
+bool object_class_is_secure(ObjectClass *klass)
+{
+ return klass->type->secure;
+}
+
const char *object_class_get_name(ObjectClass *klass)
{
return klass->type->name;
--
2.55.0
next prev parent reply other threads:[~2026-09-10 10:37 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-10 10:36 [PATCH v4 00/14] Encode object type security status in code Daniel P. Berrangé
2026-09-10 10:36 ` Daniel P. Berrangé [this message]
2026-09-14 18:55 ` [PATCH v4 01/14] qom: add tracking of security state of object types Richard Henderson
2026-09-16 17:26 ` Daniel P. Berrangé
2026-09-10 10:36 ` [PATCH v4 02/14] qapi: add 'insecure-types' option for -compat argument Daniel P. Berrangé
2026-09-14 18:56 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 03/14] qom: add helper API for checking object class security policy compliance Daniel P. Berrangé
2026-09-14 18:58 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 04/14] system: check security for accelerator types Daniel P. Berrangé
2026-09-14 19:00 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 05/14] system: report acclerator security status in help output Daniel P. Berrangé
2026-09-14 19:21 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 06/14] system: check security for machine types Daniel P. Berrangé
2026-09-14 19:21 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 07/14] system: report machine security status in help output Daniel P. Berrangé
2026-09-14 19:22 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 08/14] system: check security of device types Daniel P. Berrangé
2026-09-14 19:22 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 09/14] system: report device security status in help output Daniel P. Berrangé
2026-09-14 19:23 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 10/14] hw/core: report security status in query-machines Daniel P. Berrangé
2026-09-14 19:23 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 11/14] qom: refactor data passing for QOM list filtering Daniel P. Berrangé
2026-09-10 10:36 ` [PATCH v4 12/14] qom: report & filter on security status in qom-list-types Daniel P. Berrangé
2026-09-14 19:30 ` Richard Henderson
2026-09-14 20:04 ` Daniel P. Berrangé
2026-09-14 20:12 ` Richard Henderson
2026-09-14 20:20 ` Daniel P. Berrangé
2026-09-14 22:09 ` Richard Henderson
2026-09-15 7:17 ` Markus Armbruster
2026-09-15 7:09 ` Daniel P. Berrangé
2026-09-10 10:36 ` [PATCH v4 13/14] docs: expand security docs with info about security status Daniel P. Berrangé
2026-09-14 19:27 ` Richard Henderson
2026-09-10 10:36 ` [PATCH v4 14/14] machine: add helpers for declaring secure/insecure machine types Daniel P. Berrangé
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=20260910103628.2326622-2-berrange@redhat.com \
--to=berrange@redhat.com \
--cc=alex.bennee@linaro.org \
--cc=armbru@redhat.com \
--cc=marcandre.lureau@redhat.com \
--cc=mst@redhat.com \
--cc=pbonzini@redhat.com \
--cc=peter.maydell@linaro.org \
--cc=philmd@oss.qualcomm.com \
--cc=qemu-devel@nongnu.org \
--cc=stefanha@redhat.com \
/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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.