软件测试是开发过程中的关键步骤。Coverity 是一种静态分析解决方案，它通过分析源码来识别以下各类问题，从而可以在开发生命周期的早期解决软件问题。