-
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
Building a REPL on top of miri
A-ux
Area: This affects the general user experience
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#511
by oli-obk
was closed Nov 13, 2020
Symbolic execution support
A-interpreter
Area: affects the core interpreter
C-proposal
Category: a proposal for something we might want to do, or maybe not; details still being worked out
#440
by oli-obk
was closed Apr 19, 2023
running miri on rustc's test suite (run-pass)
A-tests
Area: affects our test suite or CI
C-proposal
Category: a proposal for something we might want to do, or maybe not; details still being worked out
#55
by oli-obk
was closed Apr 23, 2023
The plan for provenance
A-intptrcast
Area: affects int2ptr and ptr2int casts
C-project
Category: a larger project is being tracked here, usually with checkmarks for individual steps
#2133
by RalfJung
was closed Jun 28, 2022
6 tasks done
Miri disables Category: a proposal for something we might want to do, or maybe not; details still being worked out
debug_assertions
in std, and so misses some library UB it could be reporting
C-proposal
#2497
by asquared31415
was closed Mar 11, 2024
3 case studies for -Zmiri-tag-raw-pointers
A-aliasing
Area: This affects the aliasing model (Stacked/Tree Borrows)
C-question
Category: Not necessarily a bug, but someone asking for support
#1936
by dtolnay
was closed May 6, 2022
fast mode and tracing mode
A-interpreter
Area: affects the core interpreter
C-proposal
Category: a proposal for something we might want to do, or maybe not; details still being worked out
#17
by oli-obk
was closed Apr 23, 2023
Support for accessing host environment variables
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#670
by cuviper
was closed Aug 15, 2019
Pointer dereferenced after allocation was freed in String::replace_range
#2759
by Erutuon
was closed Jan 18, 2023
Unsupported operation Area: affects documentation
A-shims
Area: This affects the external function shims
C-proposal
Category: a proposal for something we might want to do, or maybe not; details still being worked out
sqlite3_open_v2
A-docs
#2325
by weiznich
was closed May 4, 2024
Running miri on the run-fail test suite of rustc
A-tests
Area: affects our test suite or CI
C-proposal
Category: a proposal for something we might want to do, or maybe not; details still being worked out
#150
by oli-obk
was closed Apr 23, 2023
handle small optimized Category: This is a bug.
Option
values
C-bug
#76
by oli-obk
was closed Nov 17, 2016
triggering Category: This is a bug.
assume
in a small example that rustc compiles fine
C-bug
#77
by oli-obk
was closed Nov 17, 2016
Document necessary environment variables for use without rustup
A-docs
Area: affects documentation
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#106
by aochagavia
was closed Jun 9, 2019
only the outer most value is frozen in constants
C-bug
Category: This is a bug.
#83
by oli-obk
was closed Nov 19, 2016
large repeat expressions don't adhere to the execution limit
C-bug
Category: This is a bug.
#82
by oli-obk
was closed Nov 19, 2016
substs order of drop impl from Category: This is a bug.
impl
and not from the type
C-bug
#133
by oli-obk
was closed Feb 10, 2017
bad substs for tuple-like constructor function pointer
C-bug
Category: This is a bug.
#119
by solson
was closed Apr 21, 2017
Previous Next
ProTip!
Follow long discussions with comments:>50.