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
0 Open 756 Closed
0 Open 756 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

Why miri reports memory leakage when creating a Box<[u8]>?
#3152 by StevenJiang1110 was closed Nov 1, 2023
2
Is mutating value behind a shared reference undefined behavior?
#3151 by StevenJiang1110 was closed Oct 31, 2023
3
Deadlock in std::thread::park
#3146 by h33p was closed Mar 27, 2024
9
Show targeted message on read-read races
#3142 by RalfJung was closed Nov 4, 2023
1
Value of f32.is_sign_positive() differs from native code
#3139 by dtolnay was closed Oct 25, 2023
7
"tests/pass/panic/catch_panic.rs" test diverses with -O
#3115 by RalfJung was closed Oct 10, 2023
1
1
Confusing Miri error when byte_offset_from is used on two different invalid pointers. A-diagnostics errors and warnings emitted by miri C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3104 by asquared31415 was closed May 9, 2024
1
2
Detect UB due to target feature caller/callee mismatch A-interpreter Area: affects the core interpreter C-bug Category: This is a bug. I-misses-UB Impact: makes Miri miss UB, i.e., a false negative (with default settings)
#3095 by RalfJung was closed Oct 2, 2023
13
"./miri test" builds Miri twice
#3091 by RalfJung was closed Apr 18, 2024
1
Re-enable fn ptr inequality test
#3090 by RalfJung was closed Oct 29, 2023
1
Memory use grows over time
#3080 by saethlin was closed Feb 1, 2024
5 tasks done
@saethlin
3
Report UB instead of ICEing when SIMD operands have incompatible size
#3076 by saethlin was closed Sep 28, 2023
6
Provide the ability to "promise" alignment under miri-symbolic-alignment
#3068 by joshlf was closed Dec 4, 2023
1
6
can't call foreign function sha256_compress on OS linux
#3066 by simonsan was closed Apr 18, 2024
2
Build failed on latest commit 6ea8639
#3065 by Unparalleled-Calvin was closed Sep 19, 2023
1
When there is an ICE in the tests, the output is unreadable
#3052 by RalfJung was closed Sep 25, 2023
1
Unix: munmap emits "warning: integer-to-pointer cast"
#3041 by morrisonlevi was closed Dec 18, 2023
1
12
We're not detecting all kinds of invalid transmute for function arguments/return values
#3017 by RalfJung was closed Sep 8, 2023
1
Should ./miri run set a default edition?
#2999 by RalfJung was closed Dec 18, 2023
1
4
./miri run-dep prints "Building test dependencies..."
#2998 by RalfJung was closed Sep 25, 2023
1
@oli-obk
Why does Miri not complain?
#2982 by SUPERCILEX was closed Jul 16, 2023
6
Is out-of-bound memory access detection complete?
#2978 by kiyoakii was closed Jul 14, 2023
9
./miri run-dep parses ui-test comments
#2967 by RalfJung was closed Jul 7, 2023
2
2
Miri's memcpy shim accepts programs that violate the C spec
#2966 by RalfJung was closed Jul 6, 2023
1
Erroneous Miri Undefined Behavior Error in Piecemeal Struct Drop?
#2965 by EricLBuehler was closed Jul 4, 2023
10
ProTip! no:milestone will show everything without a milestone.