PVS-Studio

PVS - Studio 是一款静态分析软件，用于诊断C / C++/ C+11 应用程序源代码中的错误。

特色功能

融合 Visual Studio2005/2008/2010的开发环境
提供在线帮助；
可以生成PDF文件；
可以保存和下载分析结果；
具有命令行启动能力；
支持所有的内核和处理器；
评估64位代码移植的复杂度；
支持 Windows（LLP64）和 Linux（LP64）的数据模型；
交互式过滤器；
易于融入团队开发项目中；
标记程序文本仅检查新代码。

相对于其他类型的方法而言，我们采用的静态代码分析方法有明显的优越性，因为它可以覆盖整个程序代码。代码检查的过程在任何情况下都不会破坏代码本身。分析过程完全由程序员控制，并决定是否需要修改代码。