Search results

PlaceMention-style UB not detected when in closure

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.

#4258 In rust-lang/miri;

· meithecatte opened on Apr 9, 2025

Investigate why this by-move-argument-access is not caught

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

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

Status: Open.

#4189 In rust-lang/miri;

· RalfJung opened on Feb 12, 2025

Support setting Miri flags in the rustc file via attributes

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

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

C-proposalCategory: a proposal for something we might want to do, or maybe not; details still being worked outCategory: a proposal for something we might want to do, or maybe not; details still being worked out

Status: Open.

#3670 In rust-lang/miri;

· RalfJung opened on Jun 13, 2024

Detect UB due to mismatching declarations?

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

C-spec-questionCategory: it is unclear what the intended behavior of Miri for this case isCategory: it is unclear what the intended behavior of Miri for this case is

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.

#3581 In rust-lang/miri;

· RalfJung opened on May 7, 2024

Sometimes reuse stack addresses

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

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.

#3487 In rust-lang/miri;

· RalfJung opened on Apr 18, 2024

GC runtime is O(allocations), so it eventually dominates runtime

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

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

I-slowImpact: Makes Miri even slower than it already isImpact: Makes Miri even slower than it already is

Status: Open.

#3209 In rust-lang/miri;

· saethlin opened on Dec 4, 2023

Add support for setting dynamically available target features

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

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.

#3100 In rust-lang/miri;

· RalfJung opened on Oct 2, 2023

miri fails to apply recursion limit, hits stack overflow instead

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

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

I-ICEImpact: makes Miri crash with some ICEImpact: makes Miri crash with some ICE

Status: Open.

#2934 In rust-lang/miri;

· matthiaskrgr opened on Jun 18, 2023

Always use <code>-Z symbolic-alignment-checks</code> for *unleaked* allocations

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

C-proposalCategory: a proposal for something we might want to do, or maybe not; details still being worked outCategory: a proposal for something we might want to do, or maybe not; details still being worked out

Status: Open.

#1988 In rust-lang/miri;

· JakobDegen opened on Feb 26, 2022

Can/should miri ensure that the addresses of consts/vtables/... are unstable?

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

A-nondetArea: affects which non-deterministic executions we can exploreArea: affects which non-deterministic executions we can explore

C-spec-questionCategory: it is unclear what the intended behavior of Miri for this case isCategory: it is unclear what the intended behavior of Miri for this case is

Status: Open.

#1955 In rust-lang/miri;

· saethlin opened on Jan 4, 2022

Miri doesn't understand C-variadic functions

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

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

Status: Open.

#1892 In rust-lang/miri;

· bugadani opened on Sep 24, 2021

Evaluate whether we can make miri a rustc backend

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

C-proposalCategory: a proposal for something we might want to do, or maybe not; details still being worked outCategory: a proposal for something we might want to do, or maybe not; details still being worked out

Status: Open.

#1365 In rust-lang/miri;

· oli-obk opened on Apr 25, 2020