06 Jul 2025
https://blog.colinbreck.com/making-unsafe-rust-a-little-safer-find-memory-errors-in-production-with-gwp-asan/
GWP-ASan finds rare memory errors in C and C++ called from Rust.
29 Dec 2024
https://blog.colinbreck.com/making-even-safe-rust-a-little-safer-model-checking-safe-and-unsafe-code/
Whenever invariants can be expressed as proofs rather than as tests that may or may not be exhaustive, the mathematical guarantees of model checkers will provide stronger assurances the code is correct.
15 Dec 2024
https://blog.colinbreck.com/making-unsafe-rust-a-little-safer-tools-for-verifying-unsafe-code/
This article will look at tools for verifying unsafe Rust code, including unsafe code called from libraries written in C or C++.