Polyspace代码静态检查及生成报告

已于 2022-11-16 13:54:38 修改
阅读量4.1k 收藏 36
点赞数 2
分类专栏： 笔记 文章标签： 后端
于 2022-08-20 20:00:00 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_42687126/article/details/126305608
版权
本文详细介绍了如何使用Polyspace进行工程配置，包括添加源文件、配置MISRA-C3.20.1规则，注释范围设定，以及生成分析报告的过程。重点在于代码分析和合规性检查，确保软件质量符合行业标准。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

1.新建工程 在这里插入图片描述

2.添加源文件
在这里插入图片描述
3.添加头文件路径
在这里插入图片描述
4.工程创建完成后的界面
在这里插入图片描述
5.配置代码分析相关参数
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
6.运行代码分析
在这里插入图片描述
7.分析完成，查看结果
在这里插入图片描述
/* polyspace +6 MISRA-C3:20.1 [Justified:Unset] "Due to external C++ defined before includes" *//* polyspace +1 MISRA-C3:20.1 [Justified:Unset] "Comment xxxx" */
+1 ： 表示从此行注释往下数一行是注释的作用范围
20.1：表示作用范围内如果出现违反MISRA-C 20.1条的规定，则注释生效
[Justified:Unset] “Comment xxxx” ：提前设置好的polyspace分析报告里的关于此条违规的评审结果

8.生成报告
在这里插入图片描述
在这里插入图片描述在这里插入图片描述

【Matlab PolySpace 代码静态分析使用教程】
weixin_42313027的博客
08-25 1万+
Polyspace 是一个静态分析工具，可识别、修复或挖掘潜在的运行时错误（如：除以零），并检查源代码是否遵循 MISRA C、MISRA C++ 和 JSF++ 等代码标准。此外，Polyspace 还可以将必须手动审查的未经验证代码突出显示。其广泛用于嵌入式软件领域，尤其是安全性能至上的交通运输领域，如汽车、航空航天和铁路运输领域。................................................
静态代码检查报告
dew2145的博客
12-17 2011
今天在下面刊载一篇小王同学写的静态代码检查报告，图文并茂，条理清晰。 1. 工具说明 　　FindBugs 是一个静态分析工具，它检查类或者 JAR 文件，将字节码与一组缺陷模式进行对比以发现可能的问题。有了静态分析工具，就可以在不实际运行程序的情况对软件进行分析。不是通过分析类文件的形式或结构来确定程序的意图，而是通常使用 Visitor 模式。Findbugs可以...
Polyspace应用：Bug Finder检测代码漏洞
u013288925的博客
02-21 1万+
1 Bug Finder概述 Polyspace®Bug Finder，顾名思义是一个查找Bug的工具。它可以识别C和C++嵌入式软件中的运行时错误，并发问题，安全漏洞和其他缺陷。 Bug Finder采用语义分析技术检测软件Bug，因此只需要提供源代码，不需要测试用例，也不需要运行代码就能检测出软件Bug。在软件开发过程的早期即可发现漏洞并修复。 另外，Bug Finder也可以检查软件是否符合...
Polyspace使用说明
最新发布
weixin_44984557的博客
03-31 237
Polyspace使用说明：新建工程到测试代码，还有常见问题。
Polyspace 项目配置方法
weixin_41784289的博客
02-12 1389
Polyspace 项目配置是有自动方法和手动方法。推荐使用自动的方法，当自动方法报错时，使用手动方法。
代码静态检测——QAC
GZ的博客
02-21 1万+
一、前言 二、QAC构建 三、QAC常见报警 3.1 Msg(2:4700) metric value out of threshold range: STCYC=22：STLIN=307：STMCC = 48；函数内执行的代码行数少于5，比如一个函数中只有if-else if...或者switch-case 3.2 Msg(2:4304) An expression of 'essentially Boolean type'is being cast to unsigne...
Polyspace静态测试小白入门指导
qq_37282365的博客
11-22 1919
Polyspace是由MathWorks开发的一种软件验证工具。它旨在检测和消除C和C++编写的嵌入式软件中的运行时错误，如整数溢出、除以零和缓冲区溢出。Polyspace使用静态代码分析技术来分析源代码，并在软件执行之前识别潜在错误。它提供了一个图形界面来查看和分析分析结果，使开发人员能够快速识别和修复潜在错误。Polyspace在安全关键行业，如汽车、航空航天和医疗设备中得到了广泛应用，在这些行业中，软件可靠性至关重要。
Polyspace静态检测步骤
mnkyjy的博客
02-20 2372
Polyspace 是一个代码静态分析和验证的工具，隶属于MATLAB，用于检测代码中的错误和缺陷，包括内存泄漏、数组越界、空指针引用等。帮助开发团队提高代码质量，减少软件开发过程中的错误和风险。
Polyspace与代码度量（code Metrics）
xurileidian的博客
07-29 1987
下面的测试结果中显示了代码度量的测试结果，一般情况下如果没有特殊要求，是可以直接接受的。代码度量显示了代码的复杂程度。Polyspace的测试报告的列表中一般有以下几项，
简单使用一下polyspace验证c51代码，以及生成报告时隐藏错误选项
bulubulubalala的博客
08-16 1683
polyspace静态代码检查的简单使用步骤
使用PolySpace进行代码检查
热门推荐
qq_25920091的博客
05-01 1万+
PolySpace进行MISRA-C 2012检查 目录PolySpace进行MISRA-C 2012检查一、前言1.1、什么是PolySpace1.2、PolySpace用来做什么二、使用PolySpace新建代码检查工程1、File -> New Project2、添加源文件Project Source Files -> Add Source Folders3、添加头文件4、配置语...
PVS-Studio 静态代码检查报告格式转换
04-18
使用XSL脚本转换成html
Matlab PolySpace 【学习资料】
08-26
Polyspace的学习资料 Polyspace 是一个代码静态分析组件，多用于航天航空汽车等安全系数高的嵌入式软件系统。资源包含其【学习资料】 具体详情请见https://blog.csdn.net/weixin_42313027/article/details/126525570
polyspace-bug-finder-check-security
06-01
用于嵌入式软件静态分析测试工具-matlab polyspace bug finder
软件静态测试工具 — QAC/QAC++
06-02
QAC/QAC++是一个完全自动化的代码静态分析工具，可以提供编码规则检查、代码质量度量、软件结构分析等功能，QAC/QAC++以其能全面而准确的发现软件中存在的潜在问题的能力得到客户的广泛认可。
QAC---静态分心测试工具
09-08
说明：只是对QAC这种静态分析测试工具的一个简单介绍，如果对静态分析感兴趣可以看看 ——— QAC/QAC++是英国编程研究公司（Programming Research Ltd）专业进行C和C++语言规则的检查工具。在十几年里，QAC/QAC++产品一直处于静态编程规则检查 领域的领先地位，PR 公司有多名专家参与MISRA 和其它标准的起草和编写工作。PR 公司积累了深厚的经验，因为其对编程语言的理解非常精深，其产品在汽车、通信、航天航空、军工等领域拥有大量的用户。QAC/QAC++以其能全面而准确的发现软件中存在的潜在问题的能力得到客户的认可和赞赏。
Jenkins部署及代码静态检查工具Checkstyle集成
wangjing2009的专栏
06-18 1498
CheckStyle是SourceForge下的一个项目，提供了一个帮助JAVA开发人员遵守某些编码规范的工具，接下来给大家讲下如何在jenkins（我是在tomcat下安装的jenkins）集成checkstyle，构建项目并发送邮件。 一、linux环境，安装jdk ，并配置环境变量，自行百度 java -version 二、安装tomcat 1、将下载的tomcat压缩包解...
polyspace静态测试
07-20
Polyspace的工作原理是通过对代码进行解析和模型构建来生成程序的内部表示。然后，它使用静态分析技术来检查代码中的各种错误，包括数据溢出、内存泄漏、未定义行为等。它还可以检查代码的逻辑错误，例如不正确的...
TESSY 测试 + polySpace 使用教程
12-31
Polyspace Bug Finder能够识别运行时错误、其他类型缺陷、代码规范和安全规范的满足性，并提供代码度量报告。Polyspace Code Prover采用抽象解释法，验证所有可能的输入、运行路径和变量值，证明代码是否安全。在...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值