【Greenhills】MULTI IDE的Double Check的功能使用

本文详细介绍了GHSMULTIIDE中的DoubleCheck静态分析器的不同等级,包括None、Low、Medium和High,解释了每种等级的功能、对构建速度的影响以及如何在BuildOptions中配置。阅读者可据此选择适合自己项目的分析级别。
摘要由CSDN通过智能技术生成

【更多软件使用问题请点击亿道电子官方网站查询】

1、 文档目标

解决对于Double Check不同等级的选择问题。

2、 问题场景

Double check是GHS的MULTI IDE所自带的静态分析仪。Double check有多个不同的等级可以进行选择,不同等级所需要进行的操作会有区别。所针对的等级也有区别。

3、软硬件环境

1)、软件版本:MULTI 8.1.4,Compiler 2023.1.4 Final Release for Embedded RH850 

2)、电脑环境:Windows 11

3)、外设硬件:无

4、解决方法

1)、在工程的Build Options中,关于DoubleCheck(C/C++)中的DoubleCheck Level选项(如图4-1)一共有四个选项:

(1)、None (-double_check.level=none):禁用DoubleCheck功能

(2)、Low (-double_check.level=low):查找所有类型的错误,但不跟踪涉及函数调用的执行路径。DoubleCheck运行速度很快,对于构建速度不会有太大的影响。

(3)、Medium (-double_check.level=medium):查找所有类型的bug,并跟踪所有源文件中函数之间调用的执行路径。这种额外的处理会比Low等级耗费更多的时间。

(4)、High (-double_check.level=high):通过调查更多的过程间执行路径来扩展中间层。这比Medium等级需要更多的处理时间。

图4-1

2)、DoubleCheck功能是在Build工程的时候就会执行分析,并不需要使用额外的工具或者操作。对于Low等级只需要进行一次构建就可以完成DoubleCheck的检测。而对于Medium等级和High等级则需要进行两次编译。第一次是总结了源文件的内容,第二次是在编译每个文件时,使用所有源文件的摘要来识别潜在的模块间路径,通过这样的两次构建最终完成代码的分析。并且在项目中启用DoubleCheck后,无论何时构建全部或部分项目,DoubleCheck都会快速分析代码并发出错误和警告,说明它发现的错误可能会发生。

在构建过程中就会发现源文件的分析错误了(如图4-2),对于DoubleCheck检测出来的错误会标记成source analysis error,便于和普通的构建报错进行区分。

图4-2

————————————————————————

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。

关于亿道电子

亿道电子技术有限公司(www.emdoor.cn)是国内资深的研发工具软件提供商,公司成立于2002年,面向中国广大的制造业客户提供研发、设计、管理过程中使用的各种软件开发工具,致力于帮助客户提高研发管理效率、缩短产品设计周期,提升产品可靠性。

二十多年来,先后与ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、SureSoft、Visu-IT、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、TestPlant等多家全球知名公司建立战略合作伙伴关系,并作为他们在中国区的主要分销合作伙伴服务了数千家中国本土客户,为客户提供从芯片级开发工具、EDA设计工具、软件编译以及测试工具、结构设计工具、仿真工具、电气设计工具、以及嵌入式GUI工具等等。亿道电子凭借多年的经验积累,真正的帮助客户实现了让研发更简单、更可靠、更高效的目标。

  • 28
    点赞
  • 15
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值