this post was submitted on 14 Jul 2024
3 points (100.0% liked)

Formal Methods

175 readers
2 users here now

founded 2 years ago
MODERATORS
[email protected]
[email protected]
3
A curated list of awesome Rust checkers (burtonqin.github.io)
submitted 9 months ago by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

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)
no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here