Since we’re all rewriting everything in Rust, here’s my contribution: Dialyzer.

~3× faster on cold runs, matching warnings on tested projects. Uses more memory though.