Called this a little bit: https://fly.io/blog/semgrep-but-for-real-now/ https://fly.io/blog/semgrep-but-for-real-now/ Semgrep isn't a formal methods tool, but

Called this a little bit: https://fly.io/blog/semgrep-but-for-real-now/ https://fly.io/blog/semgrep-but-for-real-now/ Semgrep isn't a formal methods tool, but it's in the same space of rigor-improving tooling that sound great but in practice are painful to consistently use.