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

Formal Methods

166 readers
3 users here now

founded 1 year ago
MODERATORS
Ategon
synthetic_apriori
14
A curated list of awesome Rust checkers (burtonqin.github.io)
submitted 4 months ago by armchair_progamer to c/formal_methods
2 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)
you are viewing a single comment's thread
view the rest of the comments
[–] FizzyOrange 3 points 4 months ago

No that is not true. "Awesome" lists are popular in general, and aren't specific to Rust.

"Blazing fast" on the other hand... 🤢