您的位置:首页 > 编程语言 > C语言/C++

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

2015-11-24 13:19 549 查看

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)的数据模型;
交互式过滤器;
易于融入团队开发项目中;
标记程序文本仅检查新代码。
 

PVS-Studio 优点:

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

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

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

 

关于 PVS-Studio 的更多信息:

PVS-Studio 教程 (html)
PVS-Studio 数据表 (pdf, 1 MByte)
Program 用法演示 (online flash, 15 MBytes, 7 minutes)
 
PVS Studio用户包括:微软,通用电气,德国博世,IMC GAMES,Eurocom,更多 >
产品演示PPT: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的最佳解决方案。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: