News for hackers. Stuff that matters.

A comment on Smart pointers for the kernel. Parent comment

Re:Smart pointers for the kernel by _flux on Friday October 18, 2024 @05:09AM (#41877607)
I take this to mean e.g. the Oxide project has proven the Rust type system sound?

There was a Git repository demontrating unsoundness issues in the compiler, but I seem to be unable to find it anymore :/. It seemed like there would be more than one underlying issue, but I can't really remember that.

[ Parent | on HN ]
Re:Smart pointers for the kernel by _flux on Friday October 18, 2024 @07:45AM (#41878469)
I tried to look into it, and it does not seem like the type system is proven, yet, though the issue itself is closed: https://github.com/rust-lang/rust/issues/9883

Per https://blog.rust-lang.org/2023/01/20/types-announcement.htm... there is a roadmap for ensuring Rust type system soundness end of year 2027. I think it means the implementation.

[ Parent | on HN ]
Re:Smart pointers for the kernel by Measter on Friday October 18, 2024 @07:45AM (#41878464)
You might be thinking of CVE-RS[0] which is exploiting bugs in the compiler.

[0] https://github.com/Speykious/cve-rs

[ Parent | on HN ]
Re:Smart pointers for the kernel by _flux on Friday October 18, 2024 @07:47AM (#41878482)
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.

[ Parent | on HN ]
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.
[ Parent | on HN ]