Skip to content

/ 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.

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

60 Open 324 Closed
60 Open 324 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Detect instant UB caused by creating a reference to an invalid value
#1638 opened Dec 3, 2020 by camelid
2
Allow bisecting the place where the seed affects program behaviour negatively A-ux C-proposal
#1637 opened Nov 30, 2020 by oli-obk
2
Support exploring more interleavings and weak memory A-concurrency C-enhancement
#1634 opened Nov 29, 2020 by RalfJung
3
Shims should check ABI A-shims C-enhancement E-easy
#1631 opened Nov 19, 2020 by RalfJung
Miri looking for the cdylib which doesn't exist in the target dir A-cargo C-bug
#1627 opened Nov 16, 2020 by vertexclique
2
Feature: intrinsics to access allocation info for self-test C-proposal
#1625 opened Nov 14, 2020 by Diggsey
10
Memory leak checker misses pointers stored as integers A-leaks C-bug
#1618 opened Nov 2, 2020 by RalfJung
2
No notification for cronjobs A-ci C-bug
#1591 opened Oct 22, 2020 by RalfJung
7
Allow blessing test stdout/stderr A-ci C-enhancement
#1588 opened Oct 20, 2020 by Aaron1011
4
Memory leak checker misses AtomicPtr A-leaks C-enhancement
#1574 opened Oct 5, 2020 by cynecx
1
@oli-obk
8
Support interpreting proc macros C-proposal
#1542 opened Sep 11, 2020 by Aaron1011
1
Implement missing shims for Windows A-shims A-windows C-enhancement E-medium
#1537 opened Sep 7, 2020 by RalfJung 0 of 3
Feature Request: flag to disable "inbounds" check on inbounds pointer arithmetic A-engine C-enhancement
#1519 opened Aug 20, 2020 by YoshikiTakashima
17
Support more file operations on stdin/stdout/stderr A-shims C-enhancement
#1499 opened Aug 5, 2020 by RalfJung 2 of 5
6
Improve memory leak identification A-leaks A-ux C-enhancement
#1481 opened Jul 17, 2020 by Firstyear
4
Miri hangs in spin loops forever A-concurrency C-bug
#1388 opened May 3, 2020 by RalfJung
3
Support detached threads still running when the main thread exits A-concurrency C-enhancement
#1371 opened Apr 27, 2020 by RalfJung 0 of 3
10
Stacked borrows analysis is super-linear A-stacked-borrows C-enhancement
#1367 opened Apr 25, 2020 by Robbepop
14
Evaluate whether we can make miri a rustc backend A-engine C-proposal
#1365 opened Apr 25, 2020 by oli-obk
8
Add option to flag uninitialized integers as UB A-validation C-enhancement
#1340 opened Apr 16, 2020 by RalfJung
3
miri test is painful to use with CARGO_TARGET_DIR set A-cargo C-enhancement E-help-wanted
#1311 opened Apr 7, 2020 by jonhoo
5
Miri should catch uses of slice::from_raw_parts on uninitialized memory A-engine C-proposal
#1240 opened Mar 19, 2020 by CAD97
10
Use clippy to avoid unchecked casts and arithmetic A-meta C-proposal
#1236 opened Mar 17, 2020 by RalfJung
2
Support for custom allocator in miri A-shims C-enhancement E-easy
#1207 opened Mar 4, 2020 by jacob-hughes
8
Allow foreign rust functions A-shims C-enhancement
#1170 opened Feb 9, 2020 by elichai
7
ProTip! Mix and match filters to narrow down what you’re looking for.
You can’t perform that action at this time.