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

137 Open 861 Closed
137 Open 861 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

What should happen when an FD is closed while a thread is blocked on it?
#4051 opened Nov 22, 2024 by RalfJung
21
unix: add support for libc::readv and libc::writev A-shims Area: This affects the external function shims A-unix Area: affects our shared Unix target support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#4048 opened Nov 22, 2024 by mstoeckl
Randomize thread unblocking operation 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
#4032 opened Nov 13, 2024 by tiif
@tiif
8
String de-duplication for localtime_r 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
#4025 opened Nov 10, 2024 by tiif
1
Illumos: Add support for epoll and eventfd A-solarish Area: affects our Solaris/Illumos target support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#4017 opened Nov 6, 2024 by YohDeadfall
@YohDeadfall
Shims for vararg functions: check that we get the right number of "fixed" arguments A-shims Area: This affects the external function shims C-bug Category: This is a bug. E-good-second-issue A good issue to pick up if you've already seen some parts of Miri, mentoring is available
#4013 opened Nov 5, 2024 by RalfJung
@tiif
4
Support kqueue on macOS 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
#4007 opened Nov 1, 2024 by danielsn
2
Better automate comparing two Miri revisions with ./miri bench A-dev Area: working on Miri as a developer C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3999 opened Oct 28, 2024 by RalfJung
Android: Add support for epoll, eventfd A-android Area: Android targets C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3996 opened Oct 26, 2024 by YohDeadfall
1
@YohDeadfall
1
Adding useful commands to documentation A-docs Area: affects documentation C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3991 opened Oct 25, 2024 by tiif
2
socketpair SOCK_DGRAM support 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
#3986 opened Oct 22, 2024 by tiif
1
Poor error in ./miri run --dep when using a wrong -Zmiri flag A-dev Area: working on Miri as a developer C-bug Category: This is a bug.
#3976 opened Oct 17, 2024 by RalfJung
3
Get rid of IDs for synchronization primitives, make pthread shims not leaky A-concurrency Area: affects our concurrency (multi-thread) support A-unix Area: affects our shared Unix 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
#3967 opened Oct 12, 2024 by RalfJung
@tiif
4
Tokio shim wishlist A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement C-project Category: a larger project is being tracked here, usually with checkmarks for individual steps
#3963 opened Oct 11, 2024 by tiif
Shim the macOS futex API A-concurrency Area: affects our concurrency (multi-thread) support 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
#3962 opened Oct 10, 2024 by joboet
5
Add support for Linux timerfd A-files Area: related to files, paths, sockets, file descriptors, or handles 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
#3934 opened Oct 2, 2024 by FrankReh
17
unsupported operation: renameat2, openat, openat2, ... 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 S-blocked Status: blocked on something happening somewhere else
#3931 opened Oct 1, 2024 by cyphar
4
Add -Zmiri-trace-ffi to emit a message per FFI call A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3919 opened Sep 27, 2024 by oli-obk
5
Soft-float math library A-intrinsics Area: Affects out implementation of Rust intrinsics C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#3898 opened Sep 18, 2024 by eduardosm
12
Solarish: Implement file system support A-files Area: related to files, paths, sockets, file descriptors, or handles A-shims Area: This affects the external function shims 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
#3890 opened Sep 15, 2024 by RalfJung
1
Implement "many-seeds" mode directly in the driver? A-driver Area: the Miri driver (the `miri` binary) C-cleanup Category: cleaning up our code
#3877 opened Sep 10, 2024 by RalfJung
1
Shims ICE when a scalar argument isn't actually a scalar A-shims Area: This affects the external function shims C-bug Category: This is a bug. E-good-second-issue A good issue to pick up if you've already seen some parts of Miri, mentoring is available I-ICE Impact: makes Miri crash with some ICE
#3842 opened Aug 24, 2024 by RalfJung
2
Shims cannot trust user-defined types, need to always use deref_pointer_as A-shims Area: This affects the external function shims C-cleanup Category: cleaning up our code E-good-first-issue A good way to start contributing, mentoring is available
#3841 opened Aug 24, 2024 by RalfJung
4
Add tests for std::pipe A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3830 opened Aug 21, 2024 by RalfJung
Run pass tests against real rustc as well A-tests Area: affects our test suite or CI C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3810 opened Aug 16, 2024 by RalfJung
1
1
ProTip! Mix and match filters to narrow down what you’re looking for.