Issues: rust-lang/miri
Reference to uninitialized memory is not caught
#2518
by nandesu-utils
was closed Oct 6, 2022
Closed
6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Revamp "./miri test": parse --target ourselves, pass the rest to the test harness
A-dev
Area: working on Miri as a developer
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
#3586
opened May 8, 2024 by
RalfJung
Detect UB due to mismatching declarations?
A-interpreter
Area: affects the core interpreter
C-bug
Category: This is a bug.
I-misses-UB
Impact: makes Miri miss UB, i.e., a false negative (with default settings)
#3581
opened May 7, 2024 by
RalfJung
Implement aligned_alloc
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
#3577
opened May 6, 2024 by
RalfJung
Make Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
malloc(0)
return a non-null pointer
A-shims
#3576
opened May 6, 2024 by
RalfJung
Give Area: related to files, paths, sockets, file descriptors, or handles
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
FileDescription::{read, write}
access to the InterpCx
A-files
#3572
opened May 5, 2024 by
RalfJung
FreeBSD: implement support for pthread synchronization primitives
A-concurrency
Area: affects our concurrency (multi-thread) support
A-freebsd
Area: affects our FreeBSD target support
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-second-issue
A good issue to pick up if you've already seen some parts of Miri, mentoring is available
#3571
opened May 5, 2024 by
RalfJung
Illumos: make basic std facilities work
A-solarish
Area: affects our Solaris/Illumos target support
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
#3567
opened May 5, 2024 by
RalfJung
2 tasks
Use non-deterministic precision for float operations that do not have guaranteed precision
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
#3555
opened May 4, 2024 by
RalfJung
Implement futex support on FreeBSD (_umtx_op)
A-freebsd
Area: affects our FreeBSD target support
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
#3553
opened May 4, 2024 by
RalfJung
Add support for many-seeds mode to Area: affects the cargo wrapper (cargo miri)
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
cargo miri
A-cargo
#3546
opened May 3, 2024 by
RalfJung
"constructing invalid value: wrong trait in wide pointer vtable" for seemingly identical traits
A-validation
Area: This affects enforcing the validity invariant, and related UB checking
C-bug
Category: This is a bug.
I-false-UB
Impact: makes Miri falsely report UB, i.e., a false positive (with default settings)
#3541
opened May 3, 2024 by
Jules-Bertholet
Use apfloat for full-precision sqrt
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3534
opened May 2, 2024 by
RalfJung
Make r? work in our PRs
A-meta
Not about any part of Miri per se, but about shaping the environment to make something in/with Miri
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3528
opened May 1, 2024 by
RalfJung
Extend FFI support: passing pointers to and from C
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3491
opened Apr 19, 2024 by
RalfJung
Sometimes reuse stack addresses
A-interpreter
Area: affects the core interpreter
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3487
opened Apr 18, 2024 by
RalfJung
Windows file system shims are missing
A-files
Area: related to files, paths, sockets, file descriptors, or handles
A-shims
Area: This affects the external function shims
A-windows
Area: affects only Windows targets
C-project
Category: a larger project is being tracked here, usually with checkmarks for individual steps
#3482
opened Apr 18, 2024 by
RalfJung
Add global string de-duplication cache
A-interpreter
Area: affects the core interpreter
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
#3470
opened Apr 16, 2024 by
tiif
test_dependencies build cache needs to be manually cleared
A-tests
Area: affects our test suite or CI
C-bug
Category: This is a bug.
#3468
opened Apr 15, 2024 by
tiif
cargo-miri: incorrect behavior when Area: affects the cargo wrapper (cargo miri)
C-bug
Category: This is a bug.
E-good-first-issue
A good way to start contributing, mentoring is available
--target
is given multiple times
A-cargo
#3460
opened Apr 9, 2024 by
RalfJung
ICE when using Area: This affects the aliasing model (Stacked/Tree Borrows)
C-bug
Category: This is a bug.
E-good-first-issue
A good way to start contributing, mentoring is available
miri_print_borrow_state
with -Zmiri-disable-stacked-borrows
A-aliasing
#3459
opened Apr 8, 2024 by
jendrikw
Miri ICEs on non-power-of-2 SIMD vectors
A-shims
Area: This affects the external function shims
C-bug
Category: This is a bug.
I-ICE
Impact: makes Miri crash with some ICE
#3458
opened Apr 6, 2024 by
RalfJung
dup()
not supported
A-shims
#3454
opened Apr 6, 2024 by
RalfJung
Implement basic support for sockets
A-files
Area: related to files, paths, sockets, file descriptors, or handles
A-shims
Area: This affects the external function shims
A-unix
Area: affects our shared Unix target support
C-project
Category: a larger project is being tracked here, usually with checkmarks for individual steps
#3449
opened Apr 4, 2024 by
RalfJung
Implement basic epoll support
A-files
Area: related to files, paths, sockets, file descriptors, or handles
A-shims
Area: This affects the external function shims
C-project
Category: a larger project is being tracked here, usually with checkmarks for individual steps
#3448
opened Apr 4, 2024 by
RalfJung
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-04-08.