MISRA-C是汽车嵌入式软件开发中常用的静态代码检查工具。常用的商用静态代码分析工具,比如QAC、Coverity都支持基于MISRA-C的静态代码检查。
由于License等等问题,通常我们在一轮开发结束后进行代码的静态检查,如果可以在开发过程中能够直接发现问题,那就方便多了。
本文介绍了基于MISRA-C的代码静态检查的开源解决方案,结合目前流行的VS Code,实现在编码过程中实时地对代码进行检查,适合MCAL、BSW开发以及其他需要手写代码的同学。
工具安装Cppcheck工具,在官网下载安装即可
将Cppcheck安装路径加入系统path,否则扩展找不到可执行文件,会报错
VS Code中安装C/C++ Advanced Lint扩展
配置C/C++ Advanced Lint扩展
4.1 Cppcheck配置
C/C++ Advanced Lint支持flexelint,lizard,flawfinder,clang,cppcheck多种代码检查工具,这里我们只使用Cppcheck,在VS Code的扩展设置里将其他几种工具的使能勾掉,否则VS Code会报错
或者在setting.json中直接配置成false
到这里其实已经可以进行代码的检查了,如下图中检查出数组越界的错误,不过没有用MISRA-C规则检查
4.2 MISRA-C规则的配置
我们需要Cppcheck使用MISRA-C规则检查代码,将Cppcheck的addon配置成misra
这样就可以进行基于MISRA-C规则的静态代码检查了,下面代码中检查出不符合MISRA-C 2012 的 Rule 8.4,Rule 8.2
不过这样还不够方便,我们希望看到Rule 8.4的具体内容,这也是本文的重点
找一个你喜欢的路径,创建一个misra.json文件,写入
{"script": "misra.py",
"args": [
"--rule-texts=C:\\MISRA_C_2012.txt"
]
}
misra.py是Cppcheck工具自己带的脚本,不用关心,MISRA_C_2012.txt是MISRA-C规则文本,可以在网上找到。
这里需要注意的是misra.json和MISRA_C_2012.txt两个文件都不要放到*:\Program Files\* 路径下面,会报错,我这里放到了C盘的根目录下面
(这里多提一句,尽量不要把开发用的软件装到Program Files路径下面,会有莫名其妙的问题)
在setting.json中写入下面的内容
这样就可以在VS Code里直接看到MISRA-C规则的内容啦
鼠标放到打波浪线的代码处,也可以有提示
这里有一个问题,就是同一个条目会重复显示,不过问题也不大
上面的思路来自于Cppcheck的官方Manual
4.3 提示等级的选择
代码量大了以后,会检查出很多information级别的错误,通常是MISRA-C中对代码风格的检查,而我们通常关心warning或者error级别的错误。VS Code里可以通过下面的方法选择错误提示的级别
4.4 头文件的引用
大型工程通常涉及到头文件的引用,需要添加引用路径
这里最好在本地的setting.json中配置,因为不同的工程代码的引用路径不同
本次分享到此结束,有问题请各位同学留言。
你是否还在寻找稳定的海外服务器提供商?创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源,准确流量调度确保服务器高可用性,企业级服务器适合批量采购,新人活动首月15元起,快前往官网查看详情吧
网站题目:基于MISRA-C和VSCode的代码静态检查的开源解决方案-创新互联
分享地址:https://www.cdcxhl.com/article38/cdocpp.html
成都网站建设公司_创新互联,为您提供小程序开发、外贸建站、动态网站、网站制作、网站策划、网站维护
声明:本网站发布的内容(图片、视频和文字)以用户投稿、用户转载内容为主,如果涉及侵权请尽快告知,我们将会在第一时间删除。文章观点不代表本网站立场,如需处理请联系客服。电话:028-86922220;邮箱:631063699@qq.com。内容未经允许不得转载,或转载时需注明来源: 创新互联