Advanced
Rust
Q93 / 100
What is the Stacked Borrows memory model for Rust unsafe code?
Correct! Well done.
Incorrect.
The correct answer is B) A formal operational model for memory accesses in Rust that defines when unsafe code causes undefined behavior via aliasing violations
B
Correct Answer
A formal operational model for memory accesses in Rust that defines when unsafe code causes undefined behavior via aliasing violations
Explanation
Stacked Borrows (Miri uses it) defines a stack of "borrows" per memory location. Accessing via an invalidated borrow or creating forbidden aliasing is UB.
Progress
93/100