来自俄罗斯的源代码分析工具 PVS-Studio

PVS - Studio 工具由俄罗斯 OOO "Program Verification Systems" 公司开发。

 

官方网站：

http://www.viva64.com/en/pvs-studio/

 

PVS-Studio静态代码分析工具作为一种工具来检测代码中的缺陷和商业代码分析对比。越来越多的领域依赖计算机，代码的质量就成了关键。比如航天、国防、工业控制、金融等对安全性，稳定性要求很高的领域。PVS-Studio 分析源代码或者生成的目标文件，并不实际运行源代码生成的文件。PVS-Studio 能发现一些潜在问题，或者针对某些潜在问题给出警告。

 

 

目前最新版本是4.39：

We recommend trying out the latest PVS-Studio 4.39 (executable, 15 Mbytes).

Supported IDE:

Microsoft Visual Studio 2005/2008/2010 (except Express editions)

Release Date:

25 November 2011 (release history)

Previous Version (obsolete):

PVS-Studio 4.38 (download a previous version)

 

 

下载：

http://www.verycd.com/topics/2884243/

 

 

PVS - Studio 包含3套诊断规则：

1.      64位错误诊断规则（Viva64）

2.      平行错误诊断规则（VivaMP）

3.      通用诊断规则

 

使用方法视频教程：

http://files.viva64.com/demo/PVS-Studio.htm