Advanced
Rust
Q97 / 100
What is Rust's strict provenance model for raw pointers?
Correct! Well done.
Incorrect.
The correct answer is B) Pointers carry provenance (metadata about their origin) beyond the address; casting integers to pointers may lose provenance, causing UB under strict models
B
Correct Answer
Pointers carry provenance (metadata about their origin) beyond the address; casting integers to pointers may lose provenance, causing UB under strict models
Explanation
Strict provenance (ptr::from_exposed_addr, ptr.addr(), ptr.with_addr()) preserves pointer provenance information, making Rust's memory model compatible with address sanitizers and formal verification.
Progress
97/100