Search results

Handling of explicit memory addresses

A-shimsArea: This affects the external function shimsArea: This affects the external function shims

C-projectCategory: a larger project is being tracked here, usually with checkmarks for individual stepsCategory: a larger project is being tracked here, usually with checkmarks for individual steps

Status: Open.

#4785 In rust-lang/miri;

· coastalwhite opened on Dec 22, 2025

match on an enum with a single inhabited variant does not read discriminant

A-mirArea: this is about the MIR that we are executing, not about how we are executing itArea: this is about the MIR that we are executing, not about how we are executing it

C-bugCategory: This is a bug.Category: This is a bug.

I-misses-theoretical-UBImpact: Miri does not report UB when it should, but codegen also "misses" this UBImpact: Miri does not report UB when it should, but codegen also "misses" this UB

Status: Open.

#4778 In rust-lang/miri;

· RalfJung opened on Dec 19, 2025

Support fstat on non-file-backed FDs

A-filesArea: related to files, paths, sockets, file descriptors, or handlesArea: related to files, paths, sockets, file descriptors, or handles

A-shimsArea: This affects the external function shimsArea: This affects the external function shims

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

E-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is available

Status: Open.

#4753 In rust-lang/miri;

· RalfJung opened on Dec 8, 2025

Fine-grained event tracing does not work any more

A-devArea: working on Miri as a developerArea: working on Miri as a developer

C-bugCategory: This is a bug.Category: This is a bug.

Status: Open.

#4752 In rust-lang/miri;

· RalfJung opened on Dec 8, 2025

Support "readdir" on Linux (and all Unixes)

A-filesArea: related to files, paths, sockets, file descriptors, or handlesArea: related to files, paths, sockets, file descriptors, or handles

A-shimsArea: This affects the external function shimsArea: This affects the external function shims

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

E-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is available

Status: Open.

#4746 In rust-lang/miri;

· RalfJung opened on Dec 6, 2025

Support "lstat" and "stat" on Linux (and all other Unixes)

A-filesArea: related to files, paths, sockets, file descriptors, or handlesArea: related to files, paths, sockets, file descriptors, or handles

A-shimsArea: This affects the external function shimsArea: This affects the external function shims

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

E-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is available

Status: Open.

#4744 In rust-lang/miri;

· RalfJung opened on Dec 6, 2025

Simplify libc-based tests with shared helpers

A-testsArea: affects our test suite or CIArea: affects our test suite or CI

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

E-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is available

Status: Open.

#4725 In rust-lang/miri;

· RalfJung opened on Nov 25, 2025

Miri does not detect UB due to overlaping RHS and LHS from aggregate assignment (requires custom MIR)

A-interpreterArea: affects the core interpreterArea: affects the core interpreter

C-bugCategory: This is a bug.Category: This is a bug.

I-misses-UBImpact: makes Miri miss UB, i.e., a false negative (with default settings)Impact: makes Miri miss UB, i.e., a false negative (with default settings)

Status: Open.

#4712 In rust-lang/miri;

· RalfJung opened on Nov 19, 2025

GenMC: support macOS

A-genmcArea: affects the GenMC concurrency model checking support in MiriArea: affects the GenMC concurrency model checking support in Miri

A-macArea: Affects only macOS targetsArea: Affects only macOS targets

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#4703 In rust-lang/miri;

· RalfJung opened on Nov 17, 2025

FFI mode does not support accessing C-allocated memory from Rust

A-nativeArea: calling native functions via FFIArea: calling native functions via FFI

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#4647 In rust-lang/miri;

· weiznich opened on Oct 23, 2025

native-lib mode segfaults when calling Rust function pointer from C

A-nativeArea: calling native functions via FFIArea: calling native functions via FFI

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#4639 In rust-lang/miri;

· weiznich opened on Oct 21, 2025

Improve debuggability of data race diagnostics with additional logging of data race detector state and weak memory effects

A-data-raceArea: data race detectorArea: data race detector

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#4638 In rust-lang/miri;

· sandersaares opened on Oct 21, 2025