Skip to content

Issues: rust-lang/unsafe-code-guidelines

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
9 Open 16 Closed
9 Open 16 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

Adopt Minimum Union Validity Rules A-unions Topic: Related to unions A-validity Topic: Related to validity invariants T-opsem
#494 opened Mar 1, 2024 by chorman0773
24
What are the values of a union type? (in particular, what is the validity invariant of a union) A-unions Topic: Related to unions A-validity Topic: Related to validity invariants S-pending-design Status: Resolving this issue requires addressing some open design questions
#438 opened Aug 2, 2023 by RalfJung
17
"_" patterns and validity invariants A-validity Topic: Related to validity invariants S-pending-documentation Status: The issue is "resolved," but this resolution needs documentation
#261 opened Dec 5, 2020 by RalfJung
20
Validity of ManuallyDrop, or: ManuallyDrop<Box<_>> is strange A-validity Topic: Related to validity invariants C-open-question Category: An open question that we should revisit
#245 opened Aug 12, 2020 by RalfJung
2
Validity of Box<T> A-validity Topic: Related to validity invariants S-pending-design Status: Resolving this issue requires addressing some open design questions
#145 opened Jun 18, 2019 by RalfJung
15
What about: invalid not-used-again values? Is "validity on typed copy" enough? A-validity Topic: Related to validity invariants C-open-question Category: An open question that we should revisit S-pending-design Status: Resolving this issue requires addressing some open design questions
#84 opened Feb 6, 2019 by RalfJung
74
Validity of strings A-validity Topic: Related to validity invariants S-writeup-needed Status: Ready for a writeup and no one is assigned
#78 opened Jan 10, 2019 by RalfJung
9
Validity of aggregate types (structs, enums, tuples, arrays, ...) A-validity Topic: Related to validity invariants S-writeup-assigned Status: Ready for a writeup and someone is assigned to it
#69 opened Jan 10, 2019 by RalfJung
@gnzlbg
26
What about: Targets where NULL is a valid pointer A-memory Topic: Related to memory accesses A-validity Topic: Related to validity invariants S-pending-design Status: Resolving this issue requires addressing some open design questions
#29 opened Sep 18, 2018 by RalfJung
53
ProTip! What’s not been updated in a month: updated:<2025-04-16.