PVS-Studio
C/C++/C++11 靜態代碼分析儀
靜態代碼分析軟件靜態代碼分析儀是一種檢測代碼缺陷、分析對比
商業代碼的工具,它分析源代碼和它生成的目標
文件,但並不實際運行源代碼。應用於對安全性、
穩定性要求很高的領域,比如航天、國防、工業
控製、金融等就需要嚴格的代碼分析工具。
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" 公司自主開發。
融合 Visual Studio2005/2008/2010的開發環境;
提供在線幫助;
可以生成PDF文件;
可以保存和下載分析結果;
具有命令行啟動能力;
支持所有的內核和處理器;
評估64位代碼移植的複雜度;
支持 Windows(LLP64)和 Linux(LP64)的數據模型;
交互式過濾器;
易於融入團隊開發項目中;
標記程序文本僅檢查新代碼。
140.5M / 09-05
76.4M / 03-25
55M / 06-05
237.9M / 04-13
900.9M / 03-02
96.2M / 07-06
311.2M / 07-06
335M / 07-06
200M / 07-06
413.8M / 07-06
484.7M / 09-27
165.4M / 09-05
353.9M / 06-05
131.8M / 04-13
195.6M / 03-03
45.6M / 09-08
665.2M / 07-06
2.84G / 07-06
93M / 07-06
338.3M / 07-06
1.38G / 07-26
488.3M / 07-16
109.8M / 06-03
142M / 01-08
1.2M / 11-23
548.8M / 04-13
1.6M / 04-13
1.48G / 03-18
646.6M / 03-03
133.7M / 03-03
110.5M / 09-05
33.4M / 09-05
325.8M / 08-12
60M / 04-29
254M / 04-25
659M / 04-23
1M / 12-26
253.4M / 12-08
253M / 12-08
1.19G / 11-16
369M / 09-22
181.5M / 09-22
201.2M / 09-05
488.3M / 07-16
248.9M / 12-08
248.9M / 12-08
100.6M / 03-06
148.9M / 03-06
1.12G / 07-06
1.25G / 07-06
126.7M / 02-04
1.76G / 09-22
1.92G / 04-17
201.5M / 04-13
7.31G / 07-01
94.3M / 07-06
2.48G / 07-06
7.63G / 07-06
1M / 07-06
778.1M / 07-06
561.8M / 07-11
72M / 07-06
548.7M / 07-06
1.00G / 07-06
9.13G / 07-06
126.2M / 07-06
72M / 07-06
105.1M / 07-06
132M / 07-06
132M / 07-06