PVS-Studio C/C++/C++11 静态代码分析工具
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的最佳解决方案。
PVS-Studio C/C++/C++11 静态代码分析工具相关推荐
- 静态代码分析工具列表分析---代码分析工具列表(30款工具)
本文是一个静态代码分析工具的清单,共有30个工具.包括4个.NET工具.2个Ada工具.7个C++工具.4个Java工具.2个JavaScript工具.1个Opa工具.2个Packaging工具.3个 ...
- 静态代码分析工具清单:开源篇(各语言)
本文是一个静态代码分析工具的清单,共有26个工具.包括4个.NET工具.2个Ada工具.7个C++工具.4个Java工具.2个JavaScript工具.1个Opa工具.2个Packaging工具.3个 ...
- 静态代码分析工具清单:开源篇
http://hao.jobbole.com/static_code_analysis_tool_list_opensource_lang/?utm_source=blog.jobbole.com&a ...
- 静态代码分析工具汇总
静态代码扫描,借用一段网上的原文解释一下(这里叫静态检查):"静态测试包括代码检查.静态结构分析.代码质量度量等.它可以由人工进行,充分发挥人的逻辑思维优势,也可以借助软件工具自动进行.代码 ...
- 静态代码分析工具列表--常用静态代码分析工具介绍
代码检测简介 本文是一个静态代码分析工具的清单,但是为公司产品需要付费使用.共有37个公司,有些公司包含多个工具.其中27个公司有多语言 工具,1个公司为PHP工具.2个公司为.NET工具.1个公司为 ...
- 软文推荐:常用 Java 静态代码分析工具的分析与比较
http://www.uml.org.cn/j2ee/201107114.asp 常用 Java 静态代码分析工具的分析与比较 作者:赵卓 , 发布于2011-07-11 , IBM 简介: 本文首先 ...
- 2021.C/C++静态代码分析工具
静态代码分析工具 1 cppcheck 静态代码分析工具 1 cppcheck 静态代码分析工具 参考博客 使用cppcheck检测代码警告.错误 ubuntu下安装cppcheck sudo apt ...
- OOM分析(1) Android 源,如何分析android的OOM,与java静态代码分析工具
用MAT分析OOM 很多OOM看似发生在bitmap 分配得时候,但它一般不是rootcause.根本原因都在于本应该自动释放的资源,因为代码的错误,而导致某些对象一直被引用(Reference),例 ...
- 如何分析android的OOM,与java静态代码分析工具
2019独角兽企业重金招聘Python工程师标准>>> 用MAT分析OOM 很多OOM看似发生在bitmap 分配得时候,但它一般不是rootcause.根本原因都在于本应该自动释放 ...
最新文章
- 20项任务横扫BERT!CMU谷歌发布XLNet,NLP再迎屠榜时刻
- mysql node
- shell连接工具_无需本地软件,只用浏览器就能连接并控制安卓手机
- ip登录打印机怎么打印_不要打印,登录。
- mybatis是什么_深入解析:Mybatis接口没有实现类为什么可以执行增删改查?
- HTML只言片语网站导航模板
- 计算技术计算机技术属于中图分类法哪个大类,计算技术、计算机技术属于中图分类法哪个大类...
- 人工智能发展史_人工智能发展史:4张图看尽AI重大里程碑
- linux常用命令-第一篇
- 安卓手机Mqtt调试工具 ESP8266 mqtt服务器
- hsql mysql_HSQL简介
- 厚物科技PXIe机箱PXI机箱PXIe便携机HW-1693BAT
- java 刽子手图像代码,刽子手游戏代码
- 有什么适合做移动端的报表工具
- 指数波段划分以及底部反弹行业特征统计分析
- nginx 全局变量 以及配置
- java replaceall 问号_java中替换问号 | 学步园
- 怎样用python制表_用Python绘图和制表(附泰坦尼克号案例)
- 合租服务器禁用 fsockopen 函数,部分程序不正常的解决办法。
- android style(样式)和theme(主题)设置
热门文章
- k8s高可用集群多个主节点_k8s-高可用集群实现(keepalived)
- Java中事件驱动程序设计_【JAVA语言程序设计基础篇】--事件驱动程序设计--鼠标事件...
- python 可视化 画直线_用Python画江苏省地图,实现各地级市数据可视化
- 用c语言写代码_教你如何用android mvp分层架构优雅写代码
- 利用计算机管理分区,win7增加磁盘分区教学 利用磁盘管理增加分区
- java midlet 是什么_编译JAVA游戏,MIDlet出错,急求大家帮助
- android 单选按钮横置,input radio如何实现横向布局
- html字符串替换src,替换html字符串中img标签src的值.
- 修改WordPress主题,中文显示乱码的解决办法
- Navicat Premium 15连接虚拟机上mysql并创建数据库