-
Notifications
You must be signed in to change notification settings - Fork 325
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
Project idea: strongly typed file descriptor integers and deduplication of various checks around them
E-good-second-issue
A good issue to pick up if you've already seen some parts of Miri, mentoring is available
#3772
opened Jul 29, 2024 by
oli-obk
pthreads synchronization primitives: detect mutex/rwlock/... being moved to a different location
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-second-issue
A good issue to pick up if you've already seen some parts of Miri, mentoring is available
#3749
opened Jul 13, 2024 by
RalfJung
Implement pipe/pipe2
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
#3746
opened Jul 13, 2024 by
tiif
Programs that cast function pointers have escalating memory use
#3737
opened Jul 7, 2024 by
saethlin
Massive slowdown caused by stacked borrows on code which uses raw pointers + atomics
#3735
opened Jul 6, 2024 by
newpavlov
Support atexit, and detect racy calls to Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
exit
as UB
A-shims
#3725
opened Jul 1, 2024 by
RalfJung
terminal APIs not supported: can't call foreign function Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
ioctl
on OS linux
A-shims
#3719
opened Jun 28, 2024 by
CramBL
Remove dead Intel intrinsics
A-intrinsics
Area: Affects out implementation of Rust intrinsics
C-cleanup
Category: cleaning up our code
#3691
opened Jun 20, 2024 by
RalfJung
Attempting to allocate with alignment greater than 2^29 ICEs Miri
C-bug
Category: This is a bug.
E-good-first-issue
A good way to start contributing, mentoring is available
I-ICE
Impact: makes Miri crash with some ICE
#3687
opened Jun 19, 2024 by
saethlin
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
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
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
Clearer error message for unsupported flags: print names of flags (if possible)
A-diagnostics
errors and warnings emitted by miri
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3642
opened May 28, 2024 by
tiif
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
strerror based on ErrorKind is technically valid but surprising
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3612
opened May 18, 2024 by
saethlin
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
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
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
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
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-07-06.