Why people like
Coverity's implementation of static analysis can follow all the possible paths of execution through source code (including interprocedurally) and find defects and vulnerabilities caused by the conjunction of statements that are not errors independent of each other.
- Test every line of code and potential execution path.
- The root cause of each defect is clearly explained, making it easy to fix bugs
- Integrates with GitHub and Travis CI