formal_methods

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)

14
2
Comments 2