Aria DesiresJan 9, 2025

My baby is stable in Rust!!! Strict Provenance BAYBEEEE

https://doc.rust-lang.org/std/ptr/index.html#strict-provenance

std::ptr - Rust

Manually manage memory through raw pointers.

Show threadchrysnJan 10, 2025
@Gankra Will this also help with Harvard architecture support, where a pointer to ROM (whose numeric value may be identical to a RAM pointer with completely different meaning) could now carry their address bus in their provenance?
Either way: Great to have this in!
Show threadAria Desires
@chrysn its a separate issue mostly, see https://github.com/rust-lang/rust/issues/95489
[strict provenance] Rationalize "Oxford Casts" · Issue #95489 · rust-lang/rust

This issue is part of the Strict Provenance Experiment - #95228 Oxford Casts are those that fly in the face of Harvard Architectures, and let you convert between data pointers and function pointers...

GitHub
Jan 10, 2025 at 5:52pmWeb