From: sashiko-bot@kernel.org
To: "Danilo Krummrich" <dakr@kernel.org>
Cc: ojeda@kernel.org, linux-pci@vger.kernel.org
Subject: Re: [PATCH v3 17/27] rust: auxiliary: generalize Registration over ForLt
Date: Sun, 17 May 2026 00:31:09 +0000 [thread overview]
Message-ID: <20260517003110.259EBC19425@smtp.kernel.org> (raw)
In-Reply-To: <20260517000149.3226762-18-dakr@kernel.org>
Thank you for your contribution! Sashiko AI review found 2 potential issue(s) to consider:
- [Critical] Unsound lifetime erasure in `Registration::new` allows safe code to trigger Use-After-Free.
- [Critical] Lockless read and premature teardown of `registration_data_rust` causes Use-After-Free.
--
commit c525b4daa575d3a91524d98a70e2c2b7a56eca5b
Author: Danilo Krummrich <dakr@kernel.org>
rust: auxiliary: generalize Registration over ForLt
Generalize Registration<T> to Registration<F: ForLt> and
Device::registration_data<F: ForLt>() to return Pin<&F::Of<'_>>.
The stored 'static lifetime is shortened to the borrow lifetime of &self
via ForLt::cast_ref; ForLt's covariance guarantee makes this sound.
> diff --git a/rust/kernel/auxiliary.rs b/rust/kernel/auxiliary.rs
> index 3f1e2966c03aa..db3d56106ea28 100644
> --- a/rust/kernel/auxiliary.rs
> +++ b/rust/kernel/auxiliary.rs
> @@ -271,12 +272,16 @@ pub fn parent(&self) -> &device::Device<device::Bound> {
>
> /// Returns a pinned reference to the registration data set by the registering (parent) driver.
> ///
> - /// Returns [`EINVAL`] if `T` does not match the type used by the parent driver when calling
> + /// `F` is the [`ForLt`](trait@ForLt) encoding of the data type. The returned
> + /// reference has its lifetime shortened from `'static` to `&self`'s borrow lifetime via
> + /// [`ForLt::cast_ref`].
> + ///
> + /// Returns [`EINVAL`] if `F` does not match the type used by the parent driver when calling
> /// [`Registration::new()`].
> ///
> /// Returns [`ENOENT`] if no registration data has been set, e.g. when the device was
> /// registered by a C driver.
> - pub fn registration_data<T: 'static>(&self) -> Result<Pin<&T>> {
> + pub fn registration_data<F: ForLt>(&self) -> Result<Pin<&F::Of<'_>>> {
> // SAFETY: By the type invariant, `self.as_raw()` is a valid `struct auxiliary_device`.
> let ptr = unsafe { (*self.as_raw()).registration_data_rust };
Does this lockless read of registration_data_rust allow a use-after-free?
While this wasn't introduced by this patch, it appears to remain a
vulnerability in the code modified here. In Registration::drop(), the memory
backing this pointer is freed via Pin::from_foreign(...), but dropping the
Registration (when the parent device unbinds) does not guarantee the
struct auxiliary_device is destroyed.
Other kernel threads might still hold a reference to the auxiliary device
(e.g., via ARef<Device>). When Registration::drop() frees the data, it
doesn't set registration_data_rust to NULL.
Without synchronization, could another thread with an ARef<Device> call
the safe registration_data() method after the devres has unwound and access
freed memory?
Should the registration data be freed in the auxiliary device's release
callback instead, or should proper synchronization be introduced?
[ ... ]
> @@ -389,43 +399,51 @@ struct RegistrationData<T> {
> -impl<T: Send + Sync + 'static> Registration<T> {
> +impl<F: ForLt> Registration<F>
> +where
> + for<'a> F::Of<'a>: Send + Sync,
> +{
> /// Create and register a new auxiliary device with the given registration data.
> ///
> /// The `data` is owned by the registration and can be accessed through the auxiliary device
> /// via [`Device::registration_data()`].
> - pub fn new<E>(
> - parent: &device::Device<device::Bound>,
> + pub fn new<'bound, E>(
> + parent: &'bound device::Device<device::Bound>,
> name: &CStr,
> id: u32,
> modname: &CStr,
> - data: impl PinInit<T, E>,
> + data: impl PinInit<F::Of<'bound>, E>,
> ) -> Result<Devres<Self>>
> where
> Error: From<E>,
> {
> let data = KBox::pin_init::<Error>(
> try_pin_init!(RegistrationData {
> - type_id: TypeId::of::<T>(),
> + type_id: TypeId::of::<F::Of<'static>>(),
> data <- data,
> }),
> GFP_KERNEL,
> )?;
>
> + // SAFETY: Lifetimes are erased and do not affect layout, so RegistrationData<F::Of<'bound>>
> + // and RegistrationData<F::Of<'static>> have identical representation.
> + let data: Pin<KBox<RegistrationData<F::Of<'static>>>> =
> + unsafe { core::mem::transmute(data) };
Can this transmute allow safe code to trigger a use-after-free?
Since Registration::new accepts parent: &'bound device::Device and
data: impl PinInit<F::Of<'bound>, E>, Rust's lifetime covariance allows callers
to borrow parent for an arbitrarily short lifetime (e.g., the scope of a
stack variable inside the probe function) and pass data containing
references bounded by that short lifetime.
This function unsafely uses core::mem::transmute to erase this lifetime
to 'static. Since it returns a Devres<Registration<F>> which has no lifetime
parameters, it is treated as 'static, allowing safe Rust code to place the
Devres into the parent device's devres list.
When the local stack variables go out of scope, won't the Devres still hold
the data, causing an exploitable use-after-free when
Device::registration_data() is called or when Registration::drop() cleans up?
Should Registration::new be marked unsafe so the caller guarantees the
references outlive the device's bound state, or should the API be redesigned
to structurally capture the lifetime?
--
Sashiko AI review · https://sashiko.dev/#/patchset/20260517000149.3226762-1-dakr@kernel.org?part=17
next prev parent reply other threads:[~2026-05-17 0:31 UTC|newest]
Thread overview: 98+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-05-17 0:00 [PATCH v3 00/27] rust: device: Higher-Ranked Lifetime Types for device drivers Danilo Krummrich
2026-05-17 0:00 ` [PATCH v3 01/27] rust: alloc: remove `'static` bound on `ForeignOwnable` Danilo Krummrich
2026-05-18 14:42 ` Alexandre Courbot
2026-05-17 0:00 ` [PATCH v3 02/27] rust: driver: move 'static bounds to constructor Danilo Krummrich
2026-05-18 14:42 ` Alexandre Courbot
2026-05-17 0:00 ` [PATCH v3 03/27] rust: driver: decouple driver private data from driver type Danilo Krummrich
2026-05-17 0:19 ` sashiko-bot
2026-05-17 14:32 ` Danilo Krummrich
2026-05-19 12:47 ` Gary Guo
2026-05-18 14:43 ` Alexandre Courbot
2026-05-17 0:00 ` [PATCH v3 04/27] rust: driver core: drop drvdata before devres release Danilo Krummrich
2026-05-17 0:37 ` sashiko-bot
2026-05-18 14:45 ` Alexandre Courbot
2026-05-19 12:47 ` Gary Guo
2026-05-17 0:00 ` [PATCH v3 05/27] rust: pci: implement Sync for Device<Bound> Danilo Krummrich
2026-05-17 0:40 ` sashiko-bot
2026-05-18 14:46 ` Alexandre Courbot
2026-05-19 13:01 ` Gary Guo
2026-05-17 0:00 ` [PATCH v3 06/27] rust: platform: " Danilo Krummrich
2026-05-18 14:46 ` Alexandre Courbot
2026-05-19 13:01 ` Gary Guo
2026-05-17 0:00 ` [PATCH v3 07/27] rust: auxiliary: " Danilo Krummrich
2026-05-17 0:36 ` sashiko-bot
2026-05-18 14:47 ` Alexandre Courbot
2026-05-19 13:02 ` Gary Guo
2026-05-17 0:00 ` [PATCH v3 08/27] rust: usb: " Danilo Krummrich
2026-05-17 0:33 ` sashiko-bot
2026-05-18 14:47 ` Alexandre Courbot
2026-05-19 13:02 ` Gary Guo
2026-05-17 0:00 ` [PATCH v3 09/27] rust: device: " Danilo Krummrich
2026-05-17 0:25 ` sashiko-bot
2026-05-18 14:48 ` Alexandre Courbot
2026-05-19 13:02 ` Gary Guo
2026-05-17 0:00 ` [PATCH v3 10/27] rust: pci: make Driver trait lifetime-parameterized Danilo Krummrich
2026-05-17 0:29 ` sashiko-bot
2026-05-18 14:53 ` Alexandre Courbot
2026-05-18 15:36 ` Gary Guo
2026-05-18 16:10 ` Danilo Krummrich
2026-05-19 4:52 ` Eliot Courtney
2026-05-19 10:39 ` Danilo Krummrich
2026-05-19 11:48 ` Gary Guo
2026-05-19 12:36 ` Danilo Krummrich
2026-05-20 6:14 ` Eliot Courtney
2026-05-17 0:00 ` [PATCH v3 11/27] rust: platform: " Danilo Krummrich
2026-05-18 14:55 ` Alexandre Courbot
2026-05-17 0:01 ` [PATCH v3 12/27] rust: auxiliary: " Danilo Krummrich
2026-05-18 15:39 ` Alexandre Courbot
2026-05-17 0:01 ` [PATCH v3 13/27] rust: usb: " Danilo Krummrich
2026-05-17 0:25 ` sashiko-bot
2026-05-18 15:40 ` Alexandre Courbot
2026-05-17 0:01 ` [PATCH v3 14/27] rust: i2c: " Danilo Krummrich
2026-05-17 0:39 ` sashiko-bot
2026-05-18 15:41 ` Alexandre Courbot
2026-05-17 0:01 ` [PATCH v3 15/27] rust: driver: update module documentation for GAT-based Data type Danilo Krummrich
2026-05-18 15:46 ` Alexandre Courbot
2026-05-17 0:01 ` [PATCH v3 16/27] rust: types: add `ForLt` trait for higher-ranked lifetime support Danilo Krummrich
2026-05-17 0:23 ` sashiko-bot
2026-05-19 6:02 ` Eliot Courtney
2026-05-19 11:23 ` Gary Guo
2026-05-19 11:07 ` Alexandre Courbot
2026-05-19 11:39 ` Gary Guo
2026-05-19 13:03 ` Danilo Krummrich
2026-05-19 13:34 ` Miguel Ojeda
2026-05-17 0:01 ` [PATCH v3 17/27] rust: auxiliary: generalize Registration over ForLt Danilo Krummrich
2026-05-17 0:31 ` sashiko-bot [this message]
2026-05-19 7:56 ` Eliot Courtney
2026-05-19 10:39 ` Danilo Krummrich
2026-05-19 11:20 ` Gary Guo
2026-05-19 16:45 ` Gary Guo
2026-05-20 0:33 ` Danilo Krummrich
2026-05-20 9:34 ` Gary Guo
2026-05-17 0:01 ` [PATCH v3 18/27] samples: rust: rust_driver_auxiliary: showcase lifetime-bound registration data Danilo Krummrich
2026-05-19 6:52 ` Eliot Courtney
2026-05-19 15:48 ` Gary Guo
2026-05-17 0:01 ` [PATCH v3 19/27] rust: pci: make Bar lifetime-parameterized Danilo Krummrich
2026-05-17 0:57 ` sashiko-bot
2026-05-19 6:36 ` Eliot Courtney
2026-05-19 16:24 ` Gary Guo
2026-05-19 17:27 ` Danilo Krummrich
2026-05-17 0:01 ` [PATCH v3 20/27] rust: io: make IoMem and ExclusiveIoMem lifetime-parameterized Danilo Krummrich
2026-05-17 1:31 ` sashiko-bot
2026-05-19 6:39 ` Eliot Courtney
2026-05-17 0:01 ` [PATCH v3 21/27] samples: rust: rust_driver_pci: use HRT lifetime for Bar Danilo Krummrich
2026-05-17 0:57 ` sashiko-bot
2026-05-19 6:41 ` Eliot Courtney
2026-05-17 0:01 ` [PATCH v3 22/27] rust: driver-core: rename 'a lifetime to 'bound Danilo Krummrich
2026-05-17 0:31 ` sashiko-bot
2026-05-19 6:42 ` Eliot Courtney
2026-05-19 16:56 ` Gary Guo
2026-05-19 17:23 ` Danilo Krummrich
2026-05-17 0:01 ` [PATCH REF v3 23/27] gpu: nova-core: " Danilo Krummrich
2026-05-17 0:01 ` [PATCH REF v3 24/27] gpu: nova-core: use lifetime for Bar Danilo Krummrich
2026-05-17 0:58 ` sashiko-bot
2026-05-17 0:01 ` [PATCH REF v3 25/27] gpu: nova-core: unregister sysmem flush page from Drop Danilo Krummrich
2026-05-17 0:50 ` sashiko-bot
2026-05-17 0:01 ` [PATCH REF v3 26/27] gpu: nova-core: replace ARef<Device> with &'bound Device in SysmemFlush Danilo Krummrich
2026-05-17 0:01 ` [PATCH REF v3 27/27] gpu: drm: tyr: use lifetime for IoMem Danilo Krummrich
2026-05-17 0:47 ` sashiko-bot
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=20260517003110.259EBC19425@smtp.kernel.org \
--to=sashiko-bot@kernel.org \
--cc=dakr@kernel.org \
--cc=linux-pci@vger.kernel.org \
--cc=ojeda@kernel.org \
--cc=sashiko-reviews@lists.linux.dev \
/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