rust-lang/miri

View on GitHub

An interpreter for Rust's mid-level intermediate representation

Stars: 6.6k
Forks: 529
Open beginner issues: 0
Indexed issues: 175
Avg merge: 13h 55m
Merged PRs (30d): 40

Dominant language: Rust
License: Apache-2.0
Last GitHub push: Sep 19, 2026
Latest indexed: Sep 19, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

175 open issues indexed

Get rid of Miri hack in DirEntry::metadata Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

rust-lang/miri#5327 · 1 reaction · Opened Sep 19, 2026
dirfd support is racy Open

A-shims C-bug

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/miri#5326 · 2 comments · Opened Sep 19, 2026
Improve random scheduler to consider more "interesting" interleavings Open

A-concurrency C-proposal

Difficulty 4/5 3-5 days Newbie friendliness 48/100

rust-lang/miri#5323 · 5 comments · Opened Sep 18, 2026
*ptr += 1 through a with_exposed_provenance_mut pointer is not reported as UB while *ptr = 1 is Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

rust-lang/miri#5321 · 1 comment · Opened Sep 18, 2026
Miri computes 2.0f64.powi(63) as 2^63 − 2048 instead of exactly 2^63, and thereby misses the float_to_int_unchecked UB Open

Difficulty 4/5 3-5 days Newbie friendliness 55/100

rust-lang/miri#5320 · 2 comments · Opened Sep 18, 2026
Casting `extern fn` to usize or fn pointer has changing address Open

Difficulty 4/5 3-5 days Newbie friendliness 47/100

rust-lang/miri#5314 · 7 comments · Opened Sep 10, 2026
ICE in Miri with `unsized_fn_params` and C-variadics Open

A-interpreter C-bug I-ICE S-blocked-on-rust

Difficulty 4/5 3-5 days Newbie friendliness 48/100

rust-lang/miri#5310 · 1 comment · Opened Sep 6, 2026
Support more syscalls in syscall shim Open

A-shims C-proposal

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/miri#5305 · Opened Sep 4, 2026
`priroda` can't compile `backtrace` on windows: `expected "C" fn, found "system" fn` Open

A-priroda C-bug

Difficulty 3/5 1-2 days Newbie friendliness 48/100

rust-lang/miri#5301 · 6 comments · Opened Sep 2, 2026
Communicate the actually supported target features to the program Open

A-interpreter C-proposal

Difficulty 5/5 Over a week Newbie friendliness 30/100

rust-lang/miri#5294 · 9 comments · Opened Aug 28, 2026
support `fstat64` on linux Open

A-shims C-enhancement

rust-lang/miri#5291 · 2 comments · 1 assignee · Opened Aug 27, 2026
pthread primitives: ensure the provenance passed to "init" remains valid Open

A-shims C-bug I-misses-UB

Difficulty 5/5 Over a week Newbie friendliness 35/100

rust-lang/miri#5256 · Opened Aug 16, 2026
EII, support `extern_item_impls` Open

A-interpreter C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 45/100

rust-lang/miri#5247 · 5 comments · 3 reactions · Opened Aug 7, 2026
Miri can't detect clashing shims between static and function symbols in all cases Open

A-shims C-bug I-misses-UB

Difficulty 3/5 1-2 days Newbie friendliness 48/100

rust-lang/miri#5242 · 1 comment · Opened Aug 4, 2026
Cannot enable `debug!`/`trace!` macros in Miri Open

A-dev C-bug

Difficulty 4/5 3-5 days Newbie friendliness 48/100

rust-lang/miri#5239 · Opened Aug 2, 2026
cargo-miri fails when cargo uses argfiles Open

A-windows C-bug E-needs-mcve

Difficulty 4/5 3-5 days Newbie friendliness 42/100

rust-lang/miri#5234 · 39 comments · Opened Jul 31, 2026
setsockopt: setting option TCP_NODELAY on level IPPROTO_TCP is only supported on connected tcp sockets Open

A-shims C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 42/100

rust-lang/miri#5206 · 3 comments · Opened Jul 16, 2026
RISC-V intrinsics in Miri Open

A-riscv C-enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/miri#5204 · 5 comments · Opened Jul 16, 2026
CARGO_BUILD_WARNINGS ignored with `cargo miri` Open

A-cargo C-bug

Difficulty 3/5 1-2 days Newbie friendliness 58/100

rust-lang/miri#5202 · 4 comments · Opened Jul 15, 2026
The data race detector does not understand TCP-socket-based synchronization, leading to incorrect data race reports Open

A-data-race A-shims C-bug I-false-UB

Difficulty 4/5 3-5 days Newbie friendliness 48/100

rust-lang/miri#5199 · Opened Jul 15, 2026
Add support for `O_TMPFILE` Open

A-shims C-proposal

Difficulty 3/5 1-2 days Newbie friendliness 55/100

rust-lang/miri#5184 · 2 comments · Opened Jul 13, 2026
Support `fs::set_times` and `fs::set_times_nofollow` by implementing `utimensat` Open

A-files A-shims C-enhancement E-good-first-issue

rust-lang/miri#5181 · 6 comments · 1 assignee · Opened Jul 13, 2026
SC load is too strict when there were mixed SC and non-SC stores Open

A-weak-memory C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 48/100

rust-lang/miri#5179 · 10 comments · Opened Jul 12, 2026
Ignoring/expecting memory leaks in certain tests/functions Open

A-leaks C-enhancement

Difficulty 5/5 Over a week Newbie friendliness 42/100

rust-lang/miri#5130 · 8 comments · 1 reaction · Opened Jun 25, 2026
Unix `open` on a directory does not behave correctly on Windows hosts Open

A-cross-target A-files A-unix C-bug

Difficulty 4/5 3-5 days Newbie friendliness 52/100

rust-lang/miri#5084 · 7 comments · Opened Jun 1, 2026
flock emulation is incorrect on Windows hosts Open

A-cross-target A-shims C-bug

Difficulty 4/5 3-5 days Newbie friendliness 48/100

rust-lang/miri#5074 · Opened May 28, 2026
Test `aarch64_be`? Open

A-aarch64 A-tests C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 45/100

rust-lang/miri#5065 · 6 comments · Opened May 26, 2026
Support creating hardlinks Open

A-shims A-unix C-enhancement E-good-first-issue

Difficulty 3/5 1-2 days Newbie friendliness 55/100

rust-lang/miri#5017 · 1 comment · Opened May 9, 2026
`cargo miri nextest run` spends a lot of time rebuilding the test crate Open

A-ux C-enhancement I-slow

Difficulty 4/5 3-5 days Newbie friendliness 42/100

rust-lang/miri#5013 · 22 comments · Opened May 9, 2026
Miri ICEs on caller/callee type mismatch when type is unsized Open

A-interpreter C-bug I-ICE

Difficulty 4/5 3-5 days Newbie friendliness 45/100

rust-lang/miri#4999 · Opened May 3, 2026
riscv64gc-unknown-linux-gnu: cannot find value `PTHREAD_{RECURSIVE/ERRORCHECK}_MUTEX_INITIALIZER_NP` in crate `libc` Open

A-target C-bug

Difficulty 4/5 3-5 days Newbie friendliness 52/100

rust-lang/miri#4989 · 3 comments · Opened Apr 30, 2026
Use directory handles to implement openat and friends Open

A-shims C-enhancement

rust-lang/miri#4982 · 1 comment · 1 assignee · Opened Apr 26, 2026
Tree Borrows wildcards: better handling for case where relation is unknown Open

A-aliasing C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/miri#4876 · 3 comments · Opened Feb 27, 2026
The deallocation span of locals that are deallocated by a tail call `become` is nonsense Open

A-diagnostics C-bug

Difficulty 3/5 1-2 days Newbie friendliness 42/100

rust-lang/miri#4863 · Opened Feb 17, 2026
Windows: support DuplicateHandle on GetCurrentThread handle (and generally fix thread handle behavior) Open

A-shims A-windows C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 48/100

rust-lang/miri#4830 · 7 comments · Opened Jan 24, 2026
Make UnsafePinned handling properly per-byte Open

A-aliasing C-enhancement I-misses-theoretical-UB

rust-lang/miri#4819 · 1 assignee · Opened Jan 19, 2026
Handling of explicit memory addresses Open

A-shims C-project

Difficulty 5/5 Over a week Newbie friendliness 30/100

rust-lang/miri#4785 · 10 comments · Opened Dec 22, 2025
Fine-grained event tracing does not work any more Open

A-dev C-bug

Difficulty 3/5 1-2 days Newbie friendliness 38/100

rust-lang/miri#4752 · Opened Dec 8, 2025
Simplify libc-based tests with shared helpers Open

A-tests C-enhancement E-good-first-issue

rust-lang/miri#4725 · 5 comments · 1 assignee · Opened Nov 25, 2025
Miri does not detect UB due to overlaping RHS and LHS from aggregate assignment (requires custom MIR) Open

A-interpreter C-bug I-misses-UB

Difficulty 4/5 3-5 days Newbie friendliness 42/100

rust-lang/miri#4712 · 3 comments · Opened Nov 19, 2025
GenMC: support macOS Open

A-genmc A-mac C-enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

rust-lang/miri#4703 · 6 comments · Opened Nov 17, 2025
FFI mode does not support accessing C-allocated memory from Rust Open

A-native C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/miri#4647 · 9 comments · Opened Oct 23, 2025
native-lib mode segfaults when calling Rust function pointer from C Open

A-native C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 32/100

rust-lang/miri#4639 · 13 comments · Opened Oct 21, 2025
Improve debuggability of data race diagnostics with additional logging of data race detector state and weak memory effects Open

A-data-race A-diagnostics C-enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

rust-lang/miri#4638 · 4 comments · Opened Oct 21, 2025
Support for `io_uring` Open

A-shims C-project

Difficulty 4/5 3-5 days Newbie friendliness 42/100

rust-lang/miri#4636 · 3 comments · Opened Oct 15, 2025
GenMC correctness issues Open

A-genmc C-bug I-wrong

Difficulty 5/5 Over a week Newbie friendliness 30/100

rust-lang/miri#4572 · 6 comments · Opened Sep 7, 2025
Not all Windows ctor sections are supported Open

A-windows C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 38/100

rust-lang/miri#4520 · 1 comment · Opened Aug 10, 2025
Removing `measureme` tracing crate Open

A-dev C-cleanup

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/miri#4515 · 2 comments · Opened Aug 6, 2025
Direct I/O file system flag not supported Open

A-files C-enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/miri#4462 · 11 comments · Opened Jul 11, 2025
The exact error codes used for particular situations are host-dependent Open

A-shims C-proposal

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/miri#4457 · 3 comments · Opened Jul 9, 2025

rust-lang/miri

Get new issues in your inbox