Skip to content

Detect UB due to mismatching declarations? #3581

New issue
New issue
Open
Open
Detect UB due to mismatching declarations?#3581
Labels
A-interpreterArea: affects the core interpreterC-spec-questionCategory: it is unclear what the intended behavior of Miri for this case isI-misses-UBImpact: makes Miri miss UB, i.e., a false negative (with default settings)
@RalfJung

Description

@RalfJung
RalfJung
opened on May 7, 2024

This code has UB that Miri does not detect. See rust-lang/rust#46188 for context.

It seems quite hard to detect this though... we have to somehow check all declarations of all no_mangle functions that ever get called, or something like that.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-interpreterArea: affects the core interpreterC-spec-questionCategory: it is unclear what the intended behavior of Miri for this case isI-misses-UBImpact: makes Miri miss UB, i.e., a false negative (with default settings)

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions