-
Notifications
You must be signed in to change notification settings - Fork 320
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
unsupported operation: can't call foreign function
posix_spawnattr_init
on OS macos
#3728
by camelid
was closed Jul 3, 2024
Trying to SeekFrom::Start past i64::MAX ICEs Miri
A-shims
Area: This affects the external function shims
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
#3680
by saethlin
was closed Jun 21, 2024
mention MIRIFLAGS in unsupported operation error and --help
#3677
by lolbinarycat
was closed Jun 17, 2024
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
Miri does not detect invalid uses of alchemy (std::ptr::from_raw_parts w/ invalid vtable pointer)
C-question
Category: Not necessarily a bug, but someone asking for support
#3664
by LunarLambda
was closed Jun 11, 2024
ICE due to overflow when using a large timeout with futexes
A-concurrency
Area: affects our concurrency (multi-thread) support
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
#3647
by zjp-CN
was closed Jun 9, 2024
"local crate" detection does not work any more
A-cargo
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
#3643
by narpfel
was closed May 30, 2024
Miri accepts an open-coded compare-exchange loop but rejects the equivalent code using fetch_update
#3613
by adamreichold
was closed May 19, 2024
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
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
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
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)
and posix_memalign(0)
return a non-null pointer
A-shims
#3576
by RalfJung
was closed May 12, 2024
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
by RalfJung
was closed May 17, 2024
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.