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）的数据模型；
- 交互式过滤器；
- 易于融入团队开发项目中；
- 标记程序文本仅检查新代码。
可检测的错误类型：
? 复制-粘贴错误;
? 错误的字符串格式 (printf);
? 缓冲区溢出;
? STL, WinAPI使用不当;
? ...
? 有关32位应用程序迁移到64位系统(Viva64)的错误;
? 有关不正确使用OpenMP时产生 的错误;
PVS-Studio 优点：
1、 易于下载！无需注册或者填写任何表格，您就可以下载PVS – Studio软件开发包，包括三套诊断规则：64位软件分析的Viva64规则，并行软件分析的VivaMP规则，和通用分析规则。在30天的试用期满后，你可以选择购买它。
2、 易于操作！PV- Studio是执行程序作为 Visual Studio2005/2008/2010开发环境的插件使用。该程序安装简单，在运行前不需要进行特殊设置。软件包包括一个示例项目，包含了所有通过PVS – Studio诊断出来的错误。您可以安装这个项目来研究PVS - Studio工具的工作方式。
3、 易于购买！不同于其他的代码分析工具，我们制定了简单的定价规则和许可政策，我们不会询问你的应用代码类型，也不会通过电话向你推销训练课程，您可以直接打电话给我们的代理商，广州虹科电子科技有限公司（020-38743030），咨询产品信息，然后选择适合您的产品。在您支付货款后，我们会尽快将注册码发到您的邮箱。
4、 强大的技术支持！静态代码分析工具的开发员直接与您沟通，让您迅速得到相关的、复杂的编程问题的答案。此外，我们的网站收集了大量资源，包括高质量的代码，测试案例， PVS – Studio的使用方法和静态代码分析方法。这些能为您找到在64位软件开发领域和并行编程等许多问题的答案。
PVS-Studio在知名项目中检测出来的Bugs
关于PVS-Studio的更多信息：
PVS Studio用户包括：微软，美国通用，德国博世，IMC GAMES，Eurocom等
产品演示PPT：PVS-Studio，为开发人员提供现代资源密集型应用程序的解决方案
http://www.viva64.com/en/pvs-studio-presentation/
