Formal Methods

166 readers

3 users here now

founded 1 year ago

MODERATORS

Ategon

synthetic_apriori

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)

top 2 comments

sorted by: hot top controversial new old

[–] BB_C 1 points 4 months ago (1 children)

Is it true what some Rust opposers claim?
That the semantic shift of the word "awesome" to mean comprehensive/exhaustive is only observed among ever-positive Rustaceans?
What about the word "curated"?
"A curated list of awesome..."
Is anything missing from the list?
How are tools listed with a 1/5 maintenance rating fit into this?

[–] 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... 🤢