This organization focuses on unsafe Rust, with an emphasis on the proper usage of unsafe code to ensure memory safety in real-world Rust system development.
To mitigate the risks associated with unsafe code usage in the Rust ecosystem.
Documentation for unsafe code is an essential companion to the code itself. It serves not only as a protocol between library providers and users, but also as a bridge toward formally verifying code soundness. Therefore, establishing systematic and reliable ways to document and verify unsafe code is crucial for improving the safety of the Rust ecosystem.
- Establish a standard for documenting unsafe code. See the draft.
- Provide an ergonomic way to document unsafe code. See the safety-tag project.
- Make the documentation convertible into contracts, which is also the goal of the safety-tag project.
- Automatically verify the soundness of unsafe code usage. See the RAPx project.