- MIRAI: Abstract Interpreter for Rust MIR https://github.com/facebookexperimental/mirai/blob/master/readme.md 7 comments programming
- MIRAI: Abstract Interpreter for MIR https://github.com/facebookexperimental/mirai/blob/master/readme.md 18 comments rust
Linking pages
- GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/rust-unofficial/awesome-rust 178 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/analysis-tools-dev/static-analysis 112 comments
- Baby Steps https://smallcultfollowing.com/babysteps/blog/2020/04/09/libraryification/ 37 comments
- GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/kud1ing/awesome-rust 30 comments
- Announcing the Kani Rust Verifier Project | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html 28 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/mre/awesome-static-analysis#c 21 comments
- Rust verification tools (2020) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/rust-verification-tools/ 18 comments
- Automatic Rust verification tools (2021) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/automatic-rust-verification-tools-2021/ 16 comments
- arl/README-Rust.md at master · kaxap/arl · GitHub https://github.com/kaxap/arl/blob/master/README-Rust.md 14 comments
- GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/rust-unofficial/awesome-rust?tab=readme-ov-file#database 9 comments
- Security as Rust 2019 goal. The goals and 2019 roadmap of Rust… | by Sergey "Shnatsel" Davidoff | Medium https://medium.com/@shnatsel/security-as-rust-2019-goal-6a060116ba39 7 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
- Retrospective | Rust Verification Tools https://project-oak.github.io/rust-verification-tools/2021/09/01/retrospective.html 0 comments
- How Open Source Projects are Using Kani to Write Better Software in Rust | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/how-open-source-projects-are-using-kani-to-write-better-software-in-rust/ 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: MIRAI: Abstract Interpreter for Rust MIR
See how to search.