Software Analysis - Tarpstone/dev-wiki GitHub Wiki Instrumentation https://doc.rust-lang.org/rustc/profile-guided-optimization.html LLVM https://www.infoworld.com/article/3247799/what-is-llvm-the-power-behind-swift-rust-clang-and-more.html Fuzzing https://model-checking.github.io/kani-verifier-blog/2022/10/27/using-kani-with-the-bolero-property-testing-framework.html Style https://betterprogramming.pub/try-catch-considered-harmful-4238ddd7cd3c