來自俄羅斯的原始碼分析工具 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