Skip to content

Issues: rust-lang/miri

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
65 Open 268 Closed
65 Open 268 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Implement gettid A-linux Area: affects only Linux targets 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
#3730 opened Jul 3, 2024 by RalfJung
Support atexit, and detect racy calls to exit as UB A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3725 opened Jul 1, 2024 by RalfJung
#[used] statics in the local crate are not found
#3722 by RalfJung was closed Jun 29, 2024
1
Remove dead Intel intrinsics
#3691 opened Jun 20, 2024 by RalfJung
FreeBSD: clean up readdir_r A-freebsd Area: affects our FreeBSD target support A-shims Area: This affects the external function shims C-cleanup Category: cleaning up our code
#3678 opened Jun 16, 2024 by RalfJung
Support setting Miri flags in the rustc file via attributes A-interpreter Area: affects the core interpreter C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#3670 opened Jun 13, 2024 by RalfJung
2
Use strict_{add,sub,...} instead of checked_{add,sub,...}.unwrap() A-style Area: coding style C-cleanup Category: cleaning up our code E-good-first-issue A good way to start contributing, mentoring is available
#3668 by RalfJung was closed Jun 21, 2024
1
Implement blocking support for eventfd and socketpair 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
#3665 opened Jun 10, 2024 by RalfJung
6
simd_bitmask: support vectors larger than 64 elements A-intrinsics Area: Affects out implementation of Rust intrinsics C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3658 opened Jun 9, 2024 by RalfJung
Android: make std thread APIs work 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
#3618 opened May 19, 2024 by RalfJung
2 tasks
Android: implement support for pthread synchronization primitives A-concurrency Area: affects our concurrency (multi-thread) 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
#3617 opened May 19, 2024 by RalfJung
Complete basic support for android 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
#3608 by RalfJung was closed May 19, 2024
1
3
Complete basic support for wasm32-wasip2 A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3607 opened May 16, 2024 by RalfJung
9
Support more ways of using mmap A-linux Area: affects only Linux targets A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3605 opened May 14, 2024 by RalfJung
7
macOS: support calling native functions A-mac Area: Affects only macOS targets 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
#3595 opened May 10, 2024 by RalfJung
miri-script: use a proper CLI arg parsing tool A-dev Area: working on Miri as a developer C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3592 opened May 9, 2024 by RalfJung
1
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 by RalfJung was closed May 9, 2024
3
Detect UB due to mismatching declarations? A-interpreter Area: affects the core interpreter C-spec-question Category: it is unclear what the intended behavior of Miri for this case is
#3581 opened May 7, 2024 by RalfJung
1
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 by RalfJung was closed May 19, 2024
1
10
Make malloc(0) and posix_memalign(0) return a non-null pointer 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
#3576 by RalfJung was closed May 12, 2024
1
8
Give FileDescription::{read, write} access to the InterpCx A-files 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
#3572 by RalfJung was closed May 17, 2024
1
1
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 by RalfJung was closed May 12, 2024
2 tasks
1
@rustbot
1
Solaris: add stub shims so that pre-main code works 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
#3566 by RalfJung was closed May 5, 2024
1
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
1
ProTip! What’s not been updated in a month: updated:<2024-06-12.