PVS-Studio C/C++/C++11 静态代码分析工具

爱被打了一巴掌 2022-08-14 05:43 530阅读 0赞

# PVS-Studio #

## C/C++/C++11 **静态代码分析工具** ##

[![静态代码分析软件][pvs-studio_small.png]][pvs-studio_small.png 1]静态代码分析仪是一种检测代码缺陷、分析对比  
商业代码的工具，它分析源代码和它生成的目标  
文件，但并不实际运行源代码。应用于对安全性、  
稳定性要求很高的领域，比如航天、国防、工业  
控制、金融等就需要严格的代码分析工具。  
PVS-Studio 能发现代码中一些潜在问题，或者  
针对某些潜在问题给出警告。

### PVS-Studio 说明： ###

PVS - Studio 是一款静态分析软件，用于诊断  
C / C++/ C+11 应用程序源代码中的错误。  
PVS - Studio 包含3套诊断规则：

1.  [64位错误诊断规则（Viva64）][64_Viva64]
2.  [平行错误诊断规则（VivaMP）][VivaMP]
3.  [通用诊断规则][Link 1]

想要了解关于每一种诊断的更多信息，请访问相关的网页，PVS – Studio 是为当代应用程序开发人员量身定做的。它结合在 Visual Studio2005/2008/2010 的开发环境中，为程序员提供了一个便利的人机交互用户界面来分析文件。通过代码导航，得到参考信息。PVS-Studio 安装了之后就可以开始工作，您不需要事先学习文件，也不需要设置什么。

相对于其他类型的方法而言，我们采用的[静态代码分析][Link 2]方法有明显的优越性，因为它可以覆盖整个程序代码。代码检查的过程在任何情况下都不会破坏代码本身。分析过程完全由程序员控制，并决定是否需要修改代码。

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

### PVS-Studio 特点： ###

*  融合 Visual Studio2005/2008/2010的开发环境；
 *  提供在线帮助；
 *  可以生成PDF文件；
 *  可以保存和下载分析结果；
 *  具有命令行启动能力；
 *  支持所有的内核和处理器；
 *  评估64位代码移植的复杂度；
 *  支持 Windows（LLP64）和 Linux（LP64）的数据模型；
 *  交互式过滤器；
 *  易于融入团队开发项目中；
 *  标记程序文本仅检查新代码。

### PVS-Studio 优点： ###

*  **易于下载！**无需注册或者填写任何表格，您就可以[下载 ][Link 3]PVS – Studio 软件开发包，包括三套诊断规则：64 位软件分析的 Viva64 规则，并行软件分析的 VivaMP 规则，和通用分析规则。在30天的试用期满后，你可以选择购买它。
 *  **易于操作！**PV- Studio 是执行程序作为 Visual Studio2005/2008/2010 开发环境的插件使用。该程序安装简单，在运行前不需要进行特殊设置。软件包包括一个[示例项目][Link 4]，包含了所有通过PVS – Studio 诊断出来的错误。您可以安装这个项目来研究 PVS - Studio 工具的工作方式。
 *  **易于购买！**不同于其他的代码分析工具，我们制定了简单的定价规则和许可政策，我们不会询问你的应用代码类型，也不会通过电话向你推销训练课程，您可以直接打电话给我们的代理商，广州虹科电子科技有限公司（020-38743030），咨询产品信息，然后选择适合您的产品。在您支付货款后，我们会尽快将注册码发到您的邮箱。
 *  **强大的技术支持！**静态代码分析工具的开发员直接与您沟通，让您迅速得到相关的、复杂的编程问题的答案。此外，我们的网站收集了大量[资源][Link 5]，包括高质量的代码，测试案例， PVS – Studio 的使用方法和静态代码分析方法。这些能为您找到在64位软件开发领域和并行编程等许多问题的答案。

### PVS-Studio 在知名项目中检测出来的漏洞 ###

*  [在开源项目中发现的90个错误][90]
 *  [Clang][]
 *  [WinMerge 工具][WinMerge]
 *  [Chromium, Return to Castle Wolfenstein, etc][Chromium_ Return to Castle Wolfenstein_ etc]
 *  [Miranda IM][]
 *  [Intel IPP 样本][Intel IPP]
 *  [Fennec 媒体项目][Fennec]
 *  [终极工具箱][Link 6]
 *  [Loki][]
 *  [eMule Plus, Pixie, VirtualDub, WinMerge, XUIFramework][eMule Plus_ Pixie_ VirtualDub_ WinMerge_ XUIFramework]
 *  [Chromium][]
 *  [Qt][]
 *  [Apache HTTP 服务器][Apache HTTP]
 *  [TortoiseSVN][]
 *  [Intel 能源检测仪 SDK][Intel _ SDK]

###  ###

### 关于 PVS-Studio 的更多信息： ###

*  [PVS-Studio 教程 (html)][PVS-Studio _ _html]
 *  [PVS-Studio 数据表 (pdf, 1 MByte)][PVS-Studio _ _pdf_ 1 MByte]
 *  [Program 用法演示 (online flash, 15 MBytes, 7 minutes)][Program _ _online flash_ 15 MBytes_ 7 minutes]

**PVS Studio用户包括：微软，通用电气，德国博世，IMC GAMES，Eurocom，更多 >**

**产品演示PPT：**[PVS-Studio，为开发人员提供现代资源密集型应用程序的解决方案][PVS-Studio]。

## 在64位编码中的领先优势： ##

PVS-Studio代码分析工具在64位C/C++/C++11软件开发领域中是一款领先的工具。理由如以下三点：

*  在PVS-Studio中，我们实行了对64位代码问题最强有力的搜索，这些问题在移植32位应用程序和开发新的64位软件当中都有发生。较早的时候这是单独的产品viva64；
 *  我们的代码分析工具本身从它的第一个版本开始就是一个64位应用程序，这提高了代码分析的速度，允许您在需要的时候使用大量的存储空间来分析复杂的程序结构；
 *  通用的静态分析工具（PVS-Studio产品套件里也包含有）会同时处理项目的32位和64位配置，我们包含在Visual Studio一些版本中的分析工具，可以让你只分析项目的32位配置。

以上的优势允许我们能够为64位软件开发调用PVS - Studio的最佳解决方案。

[pvs-studio_small.png]: http://www.hkaco.com/software/image/viva64/pvs-studio_small.png
[pvs-studio_small.png 1]: /images/20220731/069ea686b56c420e93da26cfb25f18d5.png
[64_Viva64]: http://www.viva64.com/en/viva64-tool/
[VivaMP]: http://www.viva64.com/en/vivamp-tool/
[Link 1]: http://www.viva64.com/en/general-analysis/
[Link 2]: http://www.viva64.com/en/t/0046/
[Link 3]: http://www.viva64.com/en/pvs-studio-download/
[Link 4]: http://www.viva64.com/en/d/0004/
[Link 5]: http://www.viva64.com/en/developers-resources/
[90]: http://www.viva64.com/en/a/0077/
[Clang]: http://www.viva64.com/en/b/0108/
[WinMerge]: http://www.viva64.com/en/b/0082/
[Chromium_ Return to Castle Wolfenstein_ etc]: http://www.viva64.com/en/a/0072/
[Miranda IM]: http://www.viva64.com/en/a/0070/
[Intel IPP]: http://www.viva64.com/en/a/0069/
[Fennec]: http://www.viva64.com/en/b/0084/
[Link 6]: http://www.viva64.com/en/b/0090/
[Loki]: http://www.viva64.com/en/a/0049/
[eMule Plus_ Pixie_ VirtualDub_ WinMerge_ XUIFramework]: http://www.viva64.com/en/a/0073/
[Chromium]: http://www.viva64.com/en/a/0074/
[Qt]: http://www.viva64.com/en/a/0075/
[Apache HTTP]: http://www.viva64.com/en/b/0105/
[TortoiseSVN]: http://www.viva64.com/en/b/0085/
[Intel _ SDK]: http://www.viva64.com/en/b/0106/
[PVS-Studio _ _html]: http://www.viva64.com/en/d/0011/
[PVS-Studio _ _pdf_ 1 MByte]: http://www.hkaco.com/software/viva64/booklet-pvs-studio-en.pdf
[Program _ _online flash_ 15 MBytes_ 7 minutes]: http://files.viva64.com/demo/PVS-Studio.htm
[PVS-Studio]: http://www.hkaco.com/software/viva64/PVS-Studio%E4%BA%A7%E5%93%81%E4%BB%8B%E7%BB%8D.pdf