Issues

• Dot-product reduction mismatch

  rust-lang/miri#5599 · Filter by author Forever119 opened on Nov 9, 2026
  4

  

• Approximate reciprocal and reciprocal-square-root mismatch

  rust-lang/miri#5598 · Filter by author Forever119 opened on Nov 9, 2026
  25

  

• Making thread spawning fail

  A-concurrencyC-enhancementE-good-first-issue
  rust-lang/miri#5594 · Filter by author Darksonn opened on Nov 8, 2026
  3

  

• Replace 'this' by 'ecx'

  C-cleanupC-projectE-good-first-issue
  rust-lang/miri#5569 · Filter by author RalfJung opened on Nov 5, 2026
  14

• Miri vs #[optimize]

  A-interpreterC-bugI-misses-UB
  rust-lang/miri#5565 · Filter by author RalfJung opened on Nov 5, 2026
  8

• socket-tcp-no-blocking-epoll test is very slow on Windows

  A-testsA-windowsC-bug
  rust-lang/miri#5558 · Filter by author RalfJung opened on Nov 4, 2026

• What exactly should get initialized by stat, getsockname, etc?

  A-shimsC-spec-question
  rust-lang/miri#5553 · Filter by author RalfJung opened on Nov 3, 2026
  12

• [tree borrows] Internal assertion failure during wildcard access traversal

  A-aliasingC-bugI-ICE
  rust-lang/miri#5543 · Filter by author nyuichi opened on Nov 2, 2026
  7

• Unix target on a Windows host: open with any mode but 0o666 is unsupported, so tempfile fails

  A-shimsA-windowsC-proposal
  rust-lang/miri#5535 · Filter by author YevheniiKotyrlo opened on Nov 1, 2026
  4

• 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

  

• 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