Miri has already found a number of bugs in the Rust standard library, which we collect here.
Debug for vec_deque::Iteraccessing uninitialized memory
From<&[T]> for Rccreating a not sufficiently aligned reference
BTreeMapcreating a shared reference pointing to a too small allocation
VecDequecreating overlapping mutable references
- Futures turning a shared reference into a mutable one
strturning a shared reference into a mutable one
BTreeMapcreating mutable references that overlap with shared references