Issues

• ICE in readv/writev when iov_len is larger than isize::MAX

  rust-lang/miri#5523 · Filter by author programskillforverification opened on Oct 30, 2026

• Possible false positive: Box::into_raw rejects a ZST at usize::MAX

  rust-lang/miri#5515 · Filter by author andylokandy opened on Oct 29, 2026
  1

• TCP sockets: epoll flags are only ever cleared on short reads/writes and EAGAIN

  A-shimsC-enhancement
  rust-lang/miri#5473 · Filter by author RalfJung opened on Oct 23, 2026
  1

  

• Miri is still using the user-provided return type for dest

  A-shimsC-bugS-blocked
  rust-lang/miri#5455 · Filter by author RalfJung opened on Oct 21, 2026

• Support unlinkat

  A-shimsC-enhancement
  rust-lang/miri#5408 · Filter by author programskillforverification opened on Oct 11, 2026
  1

  

• openat with O_NOFOLLOW does not work properly on Windows hosts

  A-cross-targetA-filesC-bug
  rust-lang/miri#5406 · Filter by author RalfJung opened on Oct 10, 2026
  4

• getuid returns a fixed fake uid, which is inconsistent with stat

  A-shimsA-unixC-bug
  rust-lang/miri#5399 · Filter by author programskillforverification opened on Oct 7, 2026
  5

  

• 32-bit Linux (glibc): setting file times past 2038 fails because the __futimens64 shim is missing

  A-filesA-shimsC-enhancement
  rust-lang/miri#5385 · Filter by author programskillforverification opened on Oct 4, 2026
  3

  

• Location::caller pointer identity doesn't match normal execution

  A-interpreterC-bug
  rust-lang/miri#5379 · Filter by author theemathas opened on Oct 3, 2026
  6

• Missing FreeBSD shim for current_exe

  A-freebsdA-shimsC-enhancement
  rust-lang/miri#5375 · Filter by author RalfJung opened on Oct 1, 2026
  1

  

• Tracking std::fs APIs that we do not support on x86-64 Linux

  A-filesA-linuxA-shimsC-project
  rust-lang/miri#5370 · Filter by author RalfJung opened on Oct 1, 2026

• [riscv64] native-lib tests SIGSEGV on riscv64gc-unknown-linux-gnu

  A-nativeA-riscvC-bug
  rust-lang/miri#5356 · Filter by author yuzibo opened on Sep 29, 2026
  4

• FreeBSD pipes are bidirectional

  A-freebsdA-shimsC-bug
  rust-lang/miri#5352 · Filter by author WhySoBad opened on Sep 27, 2026
  2

• Improve random scheduler to consider more "interesting" interleavings

  A-concurrencyC-proposal
  rust-lang/miri#5323 · Filter by author bal-e opened on Sep 18, 2026
  5

• ICE in Miri with unsized_fn_params and C-variadics

  A-interpreterC-bugI-ICES-blocked-on-rust
  rust-lang/miri#5310 · Filter by author theemathas opened on Sep 6, 2026
  1

• Support more syscalls in syscall shim

  A-shimsC-proposal
  rust-lang/miri#5305 · Filter by author hkalbasi opened on Sep 4, 2026
  2

• Communicate the actually supported target features to the program

  A-interpreterC-proposal
  rust-lang/miri#5294 · Filter by author RalfJung opened on Aug 28, 2026
  11

• pthread primitives: ensure the provenance passed to "init" remains valid

  A-shimsC-bugI-misses-UB
  rust-lang/miri#5256 · Filter by author RalfJung opened on Aug 16, 2026

• EII, support extern_item_impls

  A-interpreterC-enhancement
  rust-lang/miri#5247 · Filter by author boozook opened on Aug 7, 2026
  5

• Miri can't detect clashing shims between static and function symbols in all cases

  A-shimsC-bugI-misses-UB
  rust-lang/miri#5242 · Filter by author hkalbasi opened on Aug 4, 2026
  1

• Cannot enable debug!/trace! macros in Miri

  A-devC-bug
  rust-lang/miri#5239 · Filter by author RalfJung opened on Aug 2, 2026

• cargo-miri fails when cargo uses argfiles

  A-windowsC-bugE-needs-mcve
  rust-lang/miri#5234 · Filter by author nazar-pc opened on Jul 31, 2026
  43

  

• RISC-V intrinsics in Miri

  A-riscvC-enhancement
  rust-lang/miri#5204 · Filter by author nazar-pc opened on Jul 16, 2026
  5

• CARGO_BUILD_WARNINGS ignored with cargo miri

  A-cargoC-bug
  rust-lang/miri#5202 · Filter by author peter-lyons-kehl opened on Jul 15, 2026
  4

• The data race detector does not understand TCP-socket-based synchronization, leading to incorrect data race reports

  A-data-raceA-shimsC-bugI-false-UB
  rust-lang/miri#5199 · Filter by author RalfJung opened on Jul 15, 2026