代码静态分析工具-程序员宅基地

技术标签： 静态测试  静态分析工具  测试工具  

随着逐渐增加的系统复杂性和不断加快的产品发布周期，静态代码分析工具在整个产品开发过程中的价值也日益凸显，开发人员在每次提交代码之前都会运行一个静态分析工具，在这些缺陷变成威胁之前找到它们，因为这些威胁会让公司耗费更多的成本和时间。

下面给大家介绍几款国外的静态分析工具，希望能帮助大家了解各工具的侧重以及查找这些工具的渠道。

1、HelixQAC
服务商：http://qa-systems.cn/multi/575.html

简介：
Helix QAC是一款静态代码分析工具，它依据C和C++编码规则自动扫描代码对规则的违背。开发团队在开发过程的早期就可以用它来检测缺陷，所以使用这款工具修改代码是最方便也最经济的。Helix QAC能够自动化强制实施代码编程标准，比如MISRA、AUTOSAR、CERT等，保证代码的合规性。
在这里插入图片描述

特性

  • 支持多种C和C++编码标准，提供相应的合规性模块，也支持标准的客户化定制。
  • 建立了精确的行为模型，跟踪代码中的变量值，检查更多缺陷，使误报和漏报达到最低。
  • 以风险的严重程度划分编码问题的优先级。
  • 提高代码质量
  • 协同代码审查
  • 适应数百万行代码
  • 重用质量信得过的代码
  • Helix QAC能集成在构建系统和持续集成环境中，尽早且频繁地发现缺陷，从而避免了在开发后期往往需要花费甚巨的错误。它也加速了当前代码的评审，用户甚至可以只让它检查新的代码变化，快速提供反馈。
  • 监视整体代码质量
  • 集成其它工具集
  • Helix QAC仪表盘集中存储分析结果，通过Web浏览器访问。分析结果以“快照”的方式上传，随时间监控代码质量与合规性度量，提供视图与报告的定制化。
  • Helix QAC经过了独立的标准认证，Helix QAC是由Programming Research开发的，现在是Perforce的组成之一。

2、Klocwork

产品链接：http://www.softtest.cn/show/232.html

简介：

Klocwork SAST分析C、C++、C#、Java、Python和JavaScript语言，识别软件的安全、质量和可靠性问题，确保对编程标准的合规性。适用于企业DevOps和DevSecOps，可扩展到任何规模的项目，集成大型复杂的环境、广泛的开发工具、提供控制、协作与报告。
在这里插入图片描述

支持语言;

C、C++、C#、Python、Java、JavaScript
支持代码缺陷检测，支持数组问题、内存资源问题、指针问题，数据问题，线程并发问题。安全问题，各类注入问题，易受攻击的代码。兼顾代码度量和合规性性分析，且有架构分析，代码重构功能。

3、CodeSonar

产品链接：http://www.softtest.cn/show/42.html

简介：

CodeSonar是软件静态缺陷检查和安全性分析工具，帮助团队快速分析和验证代码，识别导致系统故障、可靠性差、系统漏洞或不安全条件的严重漏洞或错误。通过在并发性分析、污染数据流分析和全面检测等技术上的创新，CodeSonar比其他同类型工具发现更为重要的缺陷。CodeSonar可以集成到软件开发环境中，可以悄无声息地陪着开发人员工作，并提供快速反馈。CodeSonar 已通过 IEC 61508、ISO 26262 和 CENELEC EN50128 标准的最高安全等级资格审定。也提供用于 DO-178C/DO-330 合格审定的工件。CodeSonar 提供了全面的代码理解功能，帮助开发人员快速理解和修复问题。
在这里插入图片描述

支持语言：

C、C++、C#、Java

支持的平台：WindowsLinuxSolaris

4、Parallelware Analyzer

产品链接：http://www.softtest.cn/show/264.html

简介：

Appentra的Parallelware Analyzer是第一个专门为提高C/C++代码性能而设计的静态代码分析器。早期的源代码分析仅限于bug、编码标准实施或安全性，也可能是这些功能的组合。虽然很重要，但还没有采取任何措施确保代码的编写利用了芯片制造商在低功耗多核处理器中提供的现代硬件的能力。Parallelware Analyzer提供的性能优化报告含有高可读的可操作内容，包括：机会、建议、缺陷和评论。这些信息是在函数和循环上显示的，信息的后面是代码覆盖摘要和性能指标摘要。用户能够控制信息显示的详细程度，同时获得关于下一步操作的建议，无论这些建议是对应于代码更改还是进一步调用 Parallelware Analyzer 以挖掘更多的信息。
在这里插入图片描述

支持语言：

C/C++ 和 Fortran

5、QA MISRA

产品链接：http://www.softtest.cn/show/270.html

简介：

QA-MISRA检查源代码中的900多个潜在软件错误。通过使用QA-MISRA进行静态分析，可以在早期阶段轻松发现危险结构以及安全、维护和移植问题。QA MISRA自动检查用户的C或C++代码符合MISRA和AUTOSAR规则，以及安全标准：SEI Cert C/C++，CWE，ISO/IEC TS 17961，HIS Metrics等。
在这里插入图片描述

6、Embold

产品链接：http://www.softtest.cn/show/226.html

Embold 能够一目了然地了解软件质量的状况。Embold 不仅可以检测问题，还可以推荐解决方案，并将代码分析提高到一个新水平，所有这些都由人工智能（AI）支持。Embold 使用专有的“多向量”诊断技术来分析软件组件中的热点，它从多个方面（例如代码质量，代码设计，指标和重复项）分析源代码，以计算 Embold 评分，该评分代表了软件总体质量。
在这里插入图片描述

主机：

云：在位于德国法兰克福的 AWS 数据中心上安全运行。

本地：Windows（7，8，10，Server 2012、2016），Linux（Ubuntu， Redhat，CentOs），其他（可自定义部署）。

更多详情：打开链接&
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_44626372/article/details/123401415

智能推荐

攻防世界_难度8_happy_puzzle_攻防世界困难模式攻略图文-程序员宅基地

文章浏览阅读645次。这个肯定是末尾的IDAT了，因为IDAT必须要满了才会开始一下个IDAT，这个明显就是末尾的IDAT了。，对应下面的create_head()代码。，对应下面的create_tail()代码。不要考虑爆破，我已经试了一下，太多情况了。题目来源：UNCTF。_攻防世界困难模式攻略图文

达梦数据库的导出（备份）、导入_达梦数据库导入导出-程序员宅基地

文章浏览阅读2.9k次，点赞3次，收藏10次。偶尔会用到，记录、分享。1. 数据库导出1.1 切换到dmdba用户su - dmdba1.2 进入达梦数据库安装路径的bin目录，执行导库操作　　导出语句：./dexp cwy_init/[email protected]:5236 file=cwy_init.dmp log=cwy_init_exp.log　注释：　　 cwy_init/init_123..._达梦数据库导入导出

js引入kindeditor富文本编辑器的使用_kindeditor.js-程序员宅基地

文章浏览阅读1.9k次。1. 在官网上下载KindEditor文件，可以删掉不需要要到的jsp，asp，asp.net和php文件夹。接着把文件夹放到项目文件目录下。2. 修改html文件，在页面引入js文件：<script type="text/javascript" src="./kindeditor/kindeditor-all.js"></script><script type="text/javascript" src="./kindeditor/lang/zh-CN.js"_kindeditor.js

STM32学习过程记录11——基于STM32G431CBU6硬件SPI+DMA的高效WS2812B控制方法-程序员宅基地

文章浏览阅读2.3k次，点赞6次，收藏14次。SPI的详情简介不必赘述。假设我们通过SPI发送0xAA，我们的数据线就会变为10101010，通过修改不同的内容，即可修改SPI中0和1的持续时间。比如0xF0即为前半周期为高电平，后半周期为低电平的状态。在SPI的通信模式中，CPHA配置会影响该实验，下图展示了不同采样位置的SPI时序图[1]。CPOL = 0，CPHA = 1：CLK空闲状态 = 低电平，数据在下降沿采样，并在上升沿移出CPOL = 0，CPHA = 0：CLK空闲状态 = 低电平，数据在上升沿采样，并在下降沿移出。_stm32g431cbu6

计算机网络-数据链路层_接收方收到链路层数据后,使用crc检验后,余数为0,说明链路层的传输时可靠传输-程序员宅基地

文章浏览阅读1.2k次，点赞2次，收藏8次。数据链路层习题自测问题1.数据链路(即逻辑链路)与链路(即物理链路)有何区别?“电路接通了”与”数据链路接通了”的区别何在?2.数据链路层中的链路控制包括哪些功能?试讨论数据链路层做成可靠的链路层有哪些优点和缺点。3.网络适配器的作用是什么?网络适配器工作在哪一层?4.数据链路层的三个基本问题(帧定界、透明传输和差错检测)为什么都必须加以解决？5.如果在数据链路层不进行帧定界，会发生什么问题？6.PPP协议的主要特点是什么？为什么PPP不使用帧的编号？PPP适用于什么情况？为什么PPP协议不_接收方收到链路层数据后,使用crc检验后,余数为0,说明链路层的传输时可靠传输

软件测试工程师移民加拿大_无证移民，未受过软件工程师的教育（第1部分）-程序员宅基地

文章浏览阅读587次。软件测试工程师移民加拿大 无证移民，未受过软件工程师的教育(第1部分) (Undocumented Immigrant With No Education to Software Engineer(Part 1))Before I start, I want you to please bear with me on the way I write, I have very little gen...

随便推点

Thinkpad X250 secure boot failed 启动失败问题解决_安装完系统提示secureboot failure-程序员宅基地

文章浏览阅读304次。Thinkpad X250笔记本电脑，装的是FreeBSD，进入BIOS修改虚拟化配置（其后可能是误设置了安全开机），保存退出后系统无法启动，显示：secure boot failed ，把自己惊出一身冷汗，因为这台笔记本刚好还没开始做备份.....根据错误提示，到bios里面去找相关配置，在Security里面找到了Secure Boot选项，发现果然被设置为Enabled，将其修改为Disabled ，再开机，终于正常启动了。_安装完系统提示secureboot failure

C++如何做字符串分割（5种方法）_c++ 字符串分割-程序员宅基地

文章浏览阅读10w+次，点赞93次，收藏352次。1、用strtok函数进行字符串分割原型： char *strtok(char *str, const char *delim);功能：分解字符串为一组字符串。参数说明：str为要分解的字符串，delim为分隔符字符串。返回值：从str开头开始的一个个被分割的串。当没有被分割的串时则返回NULL。其它：strtok函数线程不安全，可以使用strtok_r替代。示例：//借助strtok实现split#include <string.h>#include <stdio.h&_c++ 字符串分割

2013第四届蓝桥杯 C/C++本科A组 真题答案解析_2013年第四届c a组蓝桥杯省赛真题解答-程序员宅基地

文章浏览阅读2.3k次。1 .高斯日记 大数学家高斯有个好习惯：无论如何都要记日记。他的日记有个与众不同的地方，他从不注明年月日，而是用一个整数代替，比如：4210后来人们知道，那个整数就是日期，它表示那一天是高斯出生后的第几天。这或许也是个好习惯，它时时刻刻提醒着主人：日子又过去一天，还有多少时光可以用于浪费呢？高斯出生于：1777年4月30日。在高斯发现的一个重要定理的日记_2013年第四届c a组蓝桥杯省赛真题解答

基于供需算法优化的核极限学习机(KELM)分类算法-程序员宅基地

文章浏览阅读851次，点赞17次，收藏22次。摘要：本文利用供需算法对核极限学习机(KELM)进行优化，并用于分类。

metasploitable2渗透测试_metasploitable2怎么进入-程序员宅基地

文章浏览阅读1.1k次。一、系统弱密码登录1、在kali上执行命令行telnet 192.168.26.1292、Login和password都输入msfadmin3、登录成功，进入系统4、测试如下：二、MySQL弱密码登录：1、在kali上执行mysql –h 192.168.26.129 –u root2、登录成功，进入MySQL系统3、测试效果：三、PostgreSQL弱密码登录1、在Kali上执行psql -h 192.168.26.129 –U post..._metasploitable2怎么进入

Python学习之路：从入门到精通的指南_python人工智能开发从入门到精通pdf-程序员宅基地

文章浏览阅读257次。本文将为初学者提供Python学习的详细指南，从Python的历史、基础语法和数据类型到面向对象编程、模块和库的使用。通过本文，您将能够掌握Python编程的核心概念，为今后的编程学习和实践打下坚实基础。_python人工智能开发从入门到精通pdf

推荐文章

热门文章

相关标签