You are quite likely correct. My search term included "unsound", and it missed this one.
But this time I've starred and cloned it!
I didn't quite see if this actually exploits multiple bugs or leverages just one, though.
Re:Smart pointers for the kernel
by steveklabnik on Friday October 18, 2024 @09:40AM
(#41879381)
Just one. Itβs a compiler bug and not a soundness hole.
[0] https://github.com/Speykious/cve-rs