2 ms·

How about static analyzers? I'm sure there is one that prevents heartbleed if you follow its suggestions.

• kibwen 12y ago
  The Rust typechecker is a static analyzer, and thanks to the language's strict semantics it's more powerful and more reliable than any static analyzer that can be written for C or C++. The language also has a pluggable lint system, so that if you concoct your own correctness guidelines (say, "trigger a compiler warning whenever a buffer is reused"), you can easily implement it and distribute it as a regular Rust library so that others can benefit from it as well. See https://github.com/Manishearth/rust-clippy https://github.com/Manishearth/rust-clippy for an example of such user-defined lint passes.