- Verify the Safety of the Rust Standard Library https://aws.amazon.com/blogs/opensource/verify-the-safety-of-the-rust-standard-library/ 8 comments rust
Linking pages
- Making Unsafe Rust a Little Safer: Tools for Verifying Unsafe Code, Including Libraries in C and C++ https://blog.colinbreck.com/making-unsafe-rust-a-little-safer-tools-for-verifying-unsafe-code/ 11 comments
- AWS will pay devs to verify Rust standard library because of 7,500 unsafe functions and enormity of task • DEVCLASS https://devclass.com/2024/11/21/aws-will-pay-devs-to-verify-rust-standard-library-because-of-7500-unsafe-functions-and-enormity-of-task/ 0 comments
Linked pages
- GitHub - verus-lang/verus: Verified Rust for low-level systems code https://github.com/verus-lang/verus 118 comments
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- GitHub - model-checking/kani: Kani Rust Verifier https://github.com/model-checking/kani 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:aws.amazon.com
Search title: Verify the Safety of the Rust Standard Library | AWS Open Source Blog
See how to search.