Skip to content

Issues: rust-lang/miri

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
0 Open 747 Closed
0 Open 747 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Miri does not complain about use-after-move
#3710 by kyleguarco was closed Jun 25, 2024
1
ICE for wcslen on Windows
#3692 by cgettys-microsoft was closed Jun 21, 2024
1
9
Trying to SeekFrom::Start past i64::MAX ICEs Miri A-shims Area: This affects the external function shims C-bug Category: This is a bug. E-good-first-issue A good way to start contributing, mentoring is available I-ICE Impact: makes Miri crash with some ICE
#3680 by saethlin was closed Jun 21, 2024
1
Trying to allocate isize::MAX + 1 bytes ICEs Miri C-bug Category: This is a bug. I-ICE Impact: makes Miri crash with some ICE
#3679 by saethlin was closed Jun 17, 2024
1
1
mention MIRIFLAGS in unsupported operation error and --help
#3677 by lolbinarycat was closed Jun 17, 2024
1
1
Use strict_{add,sub,...} instead of checked_{add,sub,...}.unwrap() A-style Area: coding style C-cleanup Category: cleaning up our code E-good-first-issue A good way to start contributing, mentoring is available
#3668 by RalfJung was closed Jun 21, 2024
1
Memory-reusing custom allocator fails in miri
#3666 by FeanorTheElf was closed Jun 10, 2024
1
Miri does not detect invalid uses of alchemy (std::ptr::from_raw_parts w/ invalid vtable pointer) C-question Category: Not necessarily a bug, but someone asking for support
#3664 by LunarLambda was closed Jun 11, 2024
5
Possible false positive of stacked borrow rules
#3657 by Saecki was closed Jun 8, 2024
1
ICE due to overflow when using a large timeout with futexes A-concurrency Area: affects our concurrency (multi-thread) support C-bug Category: This is a bug. E-good-first-issue A good way to start contributing, mentoring is available I-ICE Impact: makes Miri crash with some ICE
#3647 by zjp-CN was closed Jun 9, 2024
1
2
"local crate" detection does not work any more A-cargo Area: affects the cargo wrapper (cargo miri) C-bug Category: This is a bug. E-good-first-issue A good way to start contributing, mentoring is available
#3643 by narpfel was closed May 30, 2024
1
Big Vec::try_reserve OOMs Miri (slowly)
#3637 by DaniPopes was closed May 29, 2024
1
12
Miri accepts an open-coded compare-exchange loop but rejects the equivalent code using fetch_update
#3613 by adamreichold was closed May 19, 2024
5
Complete basic support for android A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#3608 by RalfJung was closed May 19, 2024
1
3
Miri tests on Windows require admin for symlinks A-dev Area: working on Miri as a developer A-windows Area: affects only Windows targets C-bug Category: This is a bug.
#3587 by RossSmyth was closed May 9, 2024
1
10
Revamp "./miri test": parse --target ourselves, pass the rest to the test harness A-dev Area: working on Miri as a developer C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#3586 by RalfJung was closed May 9, 2024
3
Cannot add new targets after installation of toolchain
#3584 by RossSmyth was closed May 8, 2024
1
4
Implement aligned_alloc A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#3577 by RalfJung was closed May 19, 2024
1
10
Make malloc(0) and posix_memalign(0) return a non-null pointer A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#3576 by RalfJung was closed May 12, 2024
1
8
Give FileDescription::{read, write} access to the InterpCx A-files Area: related to files, paths, sockets, file descriptors, or handles A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#3572 by RalfJung was closed May 17, 2024
1
1
Illumos: make basic std facilities work A-solarish Area: affects our Solaris/Illumos target support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#3567 by RalfJung was closed May 12, 2024
2 tasks
1
@rustbot
1
Solaris: add stub shims so that pre-main code works A-solarish Area: affects our Solaris/Illumos target support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#3566 by RalfJung was closed May 5, 2024
1
Add support for many-seeds mode to cargo miri A-cargo Area: affects the cargo wrapper (cargo miri) C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#3546 by RalfJung was closed Jun 15, 2024
1
"Install tools" always runs, even when there was a cache hit A-tests Area: affects our test suite or CI C-bug Category: This is a bug.
#3543 by RalfJung was closed May 3, 2024
4
"constructing invalid value: wrong trait in wide pointer vtable" for seemingly identical traits A-validation Area: This affects enforcing the validity invariant, and related UB checking C-bug Category: This is a bug. I-false-UB Impact: makes Miri falsely report UB, i.e., a false positive (with default settings)
#3541 by Jules-Bertholet was closed Jun 12, 2024
1
9
ProTip! Exclude everything labeled bug with -label:bug.