虹科首页 软件工程 PVS-Studio 关于虹科 联系我们

  PVS-Studio
  所有资源
  我们的文章
  64位课程
  基础知识
  术语
  评论
  博客
  主要客户
       
 


PVS-Studio

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

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

 

PVS-Studio 说明:

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

  1. 64位错误诊断规则(Viva64)
  2. 平行错误诊断规则(VivaMP)
  3. 通用诊断规则

想要了解关于每一种诊断的更多信息,请访问相关的网页,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 在知名项目中检测出来的漏洞

 

关于 PVS-Studio 的更多信息:

 

PVS Studio用户包括:微软,通用电气,德国博世,IMC GAMESEurocom,更多 >

产品演示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的最佳解决方案。

 


相关资料

文档
先进性
下载

代码分析仪介绍 宣传册
代码分析仪介绍 演示
   

主要客户:

更多 >

   020-3874 4528 ; 3874 4538 | sales@hkaco.com | 广州虹科电子科技有限公司 | 版权所有 | 华南理工大学 国家科技园2-504