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
130 Open 782 Closed
130 Open 782 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

Add some flag to not report the libstd boilerplate in MIRI_LOG A-ux Area: This affects the general user experience C-bug Category: This is a bug.
#562 opened Dec 3, 2018 by oli-obk updated Mar 8, 2019
Support is_x86_feature_detected!() A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#932 opened Aug 28, 2019 by abonander updated Oct 14, 2019
10
Allow passing through ioctls A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#743 opened May 25, 2019 by Aaron1011 updated Mar 28, 2020
2
Evaluate whether we can make miri a rustc backend A-interpreter Area: affects the core interpreter C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#1365 opened Apr 25, 2020 by oli-obk updated Apr 27, 2020
8
Support interpreting proc macros C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#1542 opened Sep 11, 2020 by Aaron1011 updated Sep 11, 2020
1
Support more file operations on stdin/stdout/stderr A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#1499 opened Aug 5, 2020 by RalfJung updated Sep 28, 2020
2 of 5 tasks
6
Memory leak checker misses pointers stored as integers A-leaks Area: affects the memory leak checker C-bug Category: This is a bug.
#1618 opened Nov 2, 2020 by RalfJung updated Nov 2, 2020
2
Feature: intrinsics to access allocation info for self-test C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#1625 opened Nov 14, 2020 by Diggsey updated Nov 14, 2020
10
Allow bisecting the place where the seed affects program behaviour negatively A-ux Area: This affects the general user experience C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#1637 opened Nov 30, 2020 by oli-obk updated Nov 30, 2020
2
Posix mutex, rwlock & condvar store identifier index for miri in normal memory. A-concurrency Area: affects our concurrency (multi-thread) support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#1649 opened Dec 13, 2020 by JCTyblaidd updated Dec 13, 2020
1
Reintroduce non-pow(2, N) SIMD vectors A-tests Area: affects our test suite or CI C-bug Category: This is a bug.
#1704 opened Feb 8, 2021 by workingjubilee updated Feb 17, 2021
Miri should catch uses of slice::from_raw_parts on uninitialized memory A-interpreter Area: affects the core interpreter C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#1240 opened Mar 19, 2020 by CAD97 updated Dec 11, 2021
16
Document how to invoke Miri driver directly A-docs Area: affects documentation C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#1835 opened Jun 13, 2021 by ojeda updated Dec 16, 2021
5
Automatically distinguish between Miri identifying UB and Miri being unable to run tests A-ux Area: This affects the general user experience C-question Category: Not necessarily a bug, but someone asking for support
#1908 opened Nov 4, 2021 by kupiakos updated Jan 4, 2022
7
Detect instant UB caused by creating a reference to an invalid value A-validation Area: This affects enforcing the validity invariant, and related UB checking C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#1638 opened Dec 3, 2020 by camelid updated Jan 30, 2022
4
Always use -Z symbolic-alignment-checks for *unleaked* allocations A-interpreter Area: affects the core interpreter C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#1988 opened Feb 26, 2022 by JakobDegen updated Mar 2, 2022
4
Unit tests of proc-macro crates A-cargo Area: affects the cargo wrapper (cargo miri) C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#2102 opened May 5, 2022 by dtolnay updated May 5, 2022
2
Enable Miri to emit warnings without halting execution A-ux Area: This affects the general user experience C-project Category: a larger project is being tracked here, usually with checkmarks for individual steps
#797 opened Jun 28, 2019 by RalfJung updated May 24, 2022
15
Improve tag creation tracking note A-aliasing Area: This affects the aliasing model (Stacked/Tree Borrows) A-diagnostics errors and warnings emitted by miri C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#1969 opened Feb 4, 2022 by saethlin updated Jun 5, 2022
2
Check --emit flag presence A-driver Area: the Miri driver (the `miri` binary) C-bug Category: This is a bug.
#2041 opened Mar 27, 2022 by 2dav updated Jun 5, 2022
5
Documentation for reading Miri's output A-diagnostics errors and warnings emitted by miri A-docs Area: affects documentation C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#2066 opened Apr 16, 2022 by nicholasbishop updated Jun 5, 2022
Miri doesn't understand C-variadic functions A-interpreter Area: affects the core interpreter C-bug Category: This is a bug.
#1892 opened Sep 24, 2021 by bugadani updated Jun 5, 2022
11
Support detached threads still running when the main thread exits ("thread leaks") A-concurrency Area: affects our concurrency (multi-thread) support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#1371 opened Apr 27, 2020 by RalfJung updated Jun 25, 2022
1 of 3 tasks
17
'cargo miri --color=always' does not work A-cargo Area: affects the cargo wrapper (cargo miri) C-bug Category: This is a bug.
#2284 opened Jun 29, 2022 by RalfJung updated Jun 29, 2022
Perform spurious wakeups from park? A-concurrency Area: affects our concurrency (multi-thread) support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#2307 opened Jul 2, 2022 by RalfJung updated Jul 2, 2022
2
ProTip! Exclude everything labeled bug with -label:bug.