简介

MISRA-C是汽车嵌入式软件开发中常用的静态代码检查工具。常用的商用静态代码分析工具，比如QAC、Coverity都支持基于MISRA-C的静态代码检查。

由于License等等问题，通常我们在一轮开发结束后进行代码的静态检查，如果可以在开发过程中能够直接发现问题，那就方便多了。

本文介绍了基于MISRA-C的代码静态检查的开源解决方案，结合目前流行的VS Code，实现在编码过程中实时地对代码进行检查，适合MCAL、BSW开发以及其他需要手写代码的同学。

工具

VS Code
目前比较流行的开发工具，结合丰富的扩展实现不同需求
官网链接
C/C++ Advanced Lint
VS Code扩展，用来实现代码的静态分析，支持Cppcheck, clang等静态代码分析工具
CppCheck
C/C++静态代码检查工具，支持MISRA-C规则
官网链接
GitHub仓库

配置步骤

安装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中配置，因为不同的工程代码的引用路径不同

本次分享到此结束，有问题请各位同学留言。

基于MISRA-C和VS Code的代码静态检查的开源解决方案相关推荐

Jenkins 在 Tomcat 中的部署及代码静态检查工具集成
Jenkins 的简单部署在安装了 Jenkins 运行所需的依赖(主要是 JDK)之后,可以通过如下步骤简单快速地部署 Jenkins: 下载 Jenkins. 打开终端并切换至下载目录. 运行命 ...
你需要的代码静态检查
代码静态检查使用cppcheck给工程代码做静态检查,主要发现了以下几个问题: 1. 使用C风格的类型转换警告如下: C-style pointer casting detected. C++ o ...
一些代码静态检查工具的简介
1.KLOCWORK: 适用语言:C, C++, JAVA 是否开源:否, 是否需要编译:是作用:代码静态检查工具.用于高效检测软件缺陷和安全隐患,提供优秀的静态源代码分析解决方案.软件号称是业界领 ...
linux sparse 内核代码静态检查
Sparse简介 Sparse诞生于2004年,是由Linux之父开发的,目的就是提供一个静态检查代码的工具,从而减少Linux内核的隐患.起始,在Sparse之前已经有了一个不错的代码静态检查工具( ...
代码静态检查工具PC-Lint运用实践
代码静态检查工具PC-Lint运用实践如何提交zero bug的产品,如何尽早发现bug,是软件开发工程师和测试工程师都需要思考的问题.我认为高质量的代码是关键,具体实施保障办法有:框架约束,代码评 ...
【Dart】Dart代码静态检查
介绍代码检查可以有效的提高代码质量,更进一步的说代码检查不仅仅是为了提高代码质量,已深入到代码程序的逻辑检查.内存使用情况的检查甚至更高层面的检查,很大程度上影响了程序的功能和性能. 代码检查分类 ...
cppcheck 自定义规则_cppcheck代码静态检查工具及相关工具插件用法介绍
摘要:介绍代码缺陷静态检查工具(static code analyzer)cppcheck,以及其vs.qtcreator.git.jenkins插件及用法. Cppcheck着重于检测未定义的行为和 ...
代码静态检查之findbugs
白盒测试中的静态检查一般是检查编码标准规范,错误列表.编码规范往往团队会根据自己的经验和风格进行设置一些规范.现在很多IDE工具都会在编辑代码的时候实时的提醒是否符合代码风格.错误列表,一般是代码潜在 ...
代码静态检查工具汇总
静态代码扫描,借用一段网上的原文解释一下(这里叫静态检查):"静态测试包括代码检查.静态结构分析.代码质量度量等.它可以由人工进行,充分发挥人的逻辑思维优势,也可以借助软件工具自动进行.代码 ...

基于MISRA-C和VS Code的代码静态检查的开源解决方案

基于MISRA-C和VS Code的代码静态检查的开源解决方案

简介

工具

配置步骤

基于MISRA-C和VS Code的代码静态检查的开源解决方案相关推荐

最新文章

热门文章