Formal Methods
armchair_progamer
•
3mo ago
•
93%
A curated list of awesome Rust checkers
https://burtonqin.github.io/posts/2024/07/rustcheckers/List of Rust static and dynamic analysis tools organized by type, with:
- Name
- Description
- IR they analyze (HIR, MIR, LLVM IR, etc.)
- Bug Types
- Technology
- Maintenance (1-5 stars, whether they're frequently updated or dead)
Comments 2