PVS-Studio
C/C++/C++11 静态代码分析仪
静态代码分析软件静态代码分析仪是一种检测代码缺陷、分析对比
商业代码的工具，它分析源代码和它生成的目标
文件，但并不实际运行源代码。应用于对安全性、
稳定性要求很高的领域，比如航天、国防、工业
控制、金融等就需要严格的代码分析工具。
PVS-Studio 能发现代码中一些潜在问题，或者
针对某些潜在问题给出警告。
PVS-Studio 说明：
PVS - Studio 是一款静态分析软件，用于诊断C / C++/ C+11 应用程序源代码中的错误。PVS - Studio 包含3套诊断规则：
64位错误诊断规则（Viva64）
平行错误诊断规则（VivaMP）
通用诊断规则
想要了解关于每一种诊断的更多信息，请访问相关的网页，PVS – Studio 是为当代应用程序开发人员量身定做的。它结合在 Visual Studio2005/2008/2010 的开发环境中，为程序员提供了一个便利的人机交互用户界面来分析文件。通过代码导航，得到参考信息。PVS-Studio 安装了之后就可以开始工作，您不需要事先学习文件，也不需要设置什么。
相对于其他类型的方法而言，我们采用的静态代码分析方法有明显的优越性，因为它可以覆盖整个程序代码。代码检查的过程在任何情况下都不会破坏代码本身。分析过程完全由程序员控制，并决定是否需要修改代码。
PVS - Studio 工具是俄罗斯 OOO "Program Verification Systems" 公司自主开发。
PVS-Studio 特点：
融合 Visual Studio2005/2008/2010的开发环境；
提供在线帮助；
可以生成PDF文件；
可以保存和下载分析结果；
具有命令行启动能力；
支持所有的内核和处理器；
评估64位代码移植的复杂度；
支持 Windows（LLP64）和 Linux（LP64）的数据模型；
交互式过滤器；
易于融入团队开发项目中；
标记程序文本仅检查新代码。
