Hacker News new | ask | show | jobs
by amadvance 3370 days ago
Coverity is a static analyzer, and it can detect bugs in code that is not run.