Log In
language design
Unsafe Code Guidelines
About the Unsafe Code Guidelines category
(1)
Types as Contracts: Implementation and Evaluation
(4)
Types as Contracts
(
2
3
4
5
)
(83)
Role of UB / uninitialized memory
(
2
3
4
)
(70)
Rules for alignment and non-NULLness of references
(
2
)
(21)
Overflow checks and unsafe code
(10)
Next steps for the unsafe code guidelines
(
2
)
(29)
Canvas unsafe code in the wild
(
2
)
(25)
Blog post: Thoughts on trusting types and unsafe code
(
2
3
)
(47)
Unaligned SIMD (SSE2 in particular) loads/stores
(4)
Replace_with RFC
(4)
Pre-RFC: #[single_repr] attribute for ADTs
(5)
Notes on safe reachability for Rust
(2)
Blog post: observatonal equivalence and unsafe code
(
2
)
(27)
Unsafe code meetings?
(2)
Related Work Summaries
(1)
Organizing the rust-memory-model repo
(3)
Discussing high-level direction
(6)
Next steps for unsafe code guidelines
(13)
Tuple Slices
(11)
next page →
