From a3eae6c8ab0ac190066c8ebefb0ef0314aa1e7ef Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 15 Feb 2019 10:41:25 +0100 Subject: [PATCH] collect some bugs that we found --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/README.md b/README.md index 21e9fa43a8f8..a9e9ee0a1e3c 100644 --- a/README.md +++ b/README.md @@ -252,6 +252,18 @@ used according to their aliasing restrictions. [slides]: https://solson.me/miri-slides.pdf [report]: https://solson.me/miri-report.pdf +## Bugs found by Miri + +Miri has already found a number of bugs in the Rust standard library, which we collect here. + +* [`vec_deque::Iter` having an unsound `Debug` implementation](https://github.com/rust-lang/rust/issues/53566) +* [`From<&[T]> for Rc` creating a not sufficiently aligned reference](https://github.com/rust-lang/rust/issues/54908) +* [`BTreeMap` creating a shared reference pointing to a too small allocation](https://github.com/rust-lang/rust/issues/54957) +* [`VecDeque` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161) +* [Futures turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/56319) +* [`str` turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/58200) +* [`BTreeMap` creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431) + ## License Licensed under either of