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
26 Open 19 Closed
26 Open 19 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

What about: aliasing requirements for nested references? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#532 opened Sep 28, 2024 by oxalica
5
What's the source of immutability for pointers produced by const? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#502 opened Apr 1, 2024 by RalfJung
19
Tree Borrows: Two-phase borrows + interior mutability have surprising interactions A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#501 opened Mar 27, 2024 by RalfJung
15
Should &mut-derived pointers be permanently "separate" from their siblings? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#450 opened Aug 13, 2023 by RalfJung
16
When are references allowed to be deallocated while a function they were passed to runs? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#433 opened Jul 25, 2023 by RalfJung
8
Tree Borrows: How would more precise UnsafeCell tracking work? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#403 opened May 22, 2023 by RalfJung
4
How does UnsafeCell interact with match; can op.sem ensure exhaustiveness? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) A-optimization Category: Discussing optimizations we might (not) want to support C-open-question Category: An open question that we should revisit S-pending-design Status: Resolving this issue requires addressing some open design questions
#399 opened Apr 16, 2023 by chorman0773
5
Aliasing rules for Unique A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#384 opened Dec 27, 2022 by RalfJung
6
Stacked Borrows: do we even want protectors? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) A-dereferenceable Topic: when exactly does a reference need to point to regular dereferenceable memory? C-open-question Category: An open question that we should revisit
#372 opened Oct 29, 2022 by RalfJung
4
Stacked Borrows: when exactly should we retag? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#371 opened Oct 23, 2022 by RalfJung
Stacked Borrows: aliasing rules for local variables A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) C-open-question Category: An open question that we should revisit
#363 opened Sep 18, 2022 by RalfJung
Should a mutable reference which is only used for reads become invalid on reads through other ptrs? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) A-SB-vs-TB Topic: Design questions where SB and TB are opposite sides of the design axis
#351 opened Jul 11, 2022 by RalfJung
7
What are the uniqueness guarantees of Box and Vec? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#326 opened Apr 11, 2022 by RalfJung
62
Stacked Borrows does not support &UnsafeCell pointing to read-only data A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#303 opened Aug 24, 2021 by oconnor663
10
Why does stacked borrows treat reference parameters specially? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) C-support Category: Supporting a user to solve a concrete problem
#295 opened Jul 3, 2021 by Storyyeller
2
Can a pointer obtained by casting &UnsafeCell<T> to *mut T be written to? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) C-support Category: Supporting a user to solve a concrete problem
#281 opened Apr 7, 2021 by Kestrer
1
Stacked Borrows cannot properly handle extern type A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#276 opened Feb 27, 2021 by RalfJung
2
Stacked Borrows: Disabled has more effects than expected A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#274 opened Feb 13, 2021 by RalfJung
Differences between *const T and *mut T. Initially *const T pointers are forever read-only? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
#257 opened Nov 11, 2020 by thomcc
27
Storing an object as &Header, but reading the data past the end of the header A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) A-SB-vs-TB Topic: Design questions where SB and TB are opposite sides of the design axis C-open-question Category: An open question that we should revisit
#256 opened Nov 11, 2020 by thomcc
59
SB: Allowing function argument references to dangle under some circumstances A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) A-dereferenceable Topic: when exactly does a reference need to point to regular dereferenceable memory?
#252 opened Oct 14, 2020 by Diggsey
11
What about: splitting struct into separate fields despite escaped references (maybe even raw pointers) A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) A-memory Topic: Related to memory accesses A-optimization Category: Discussing optimizations we might (not) want to support C-open-question Category: An open question that we should revisit
#244 opened Aug 6, 2020 by RalfJung
19
Stacked Borrows: How precise should UnsafeCell be tracked? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) A-SB-vs-TB Topic: Design questions where SB and TB are opposite sides of the design axis C-open-question Category: An open question that we should revisit
#236 opened Jun 12, 2020 by RalfJung
68
Mutable references vs self-referential structs A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) C-open-question Category: An open question that we should revisit S-pending-design Status: Resolving this issue requires addressing some open design questions
#148 opened Jun 21, 2019 by RalfJung
31
Stacked Borrows: raw pointer usable only for T too strict? A-aliasing-model Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows) A-SB-vs-TB Topic: Design questions where SB and TB are opposite sides of the design axis C-open-question Category: An open question that we should revisit S-pending-design Status: Resolving this issue requires addressing some open design questions
#134 opened May 28, 2019 by RalfJung
38
ProTip! What’s not been updated in a month: updated:<2025-04-04.