user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

collect some bugs that we found

Browse source
This commit is contained in:
Ralf Jung 2019-02-15 10:41:25 +01:00
parent 5190b5b1e8
commit a3eae6c8ab
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
README.md
View file

@ -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