代码静态检查工具cppcheck(完全支持misra2012)
作为编译器的一种补充检查,cppcheck对产品的源代码执行严格的逻辑检查,还支持第三方的代码规则检查,譬如最常见的汽车行业的规范misra,目前github上的资源https://github.com/danmar/cppcheck的资源,可以检查misra相关的规则,但无法输出misra的详细信息,本资源可以,是在github上的资源上添加了misra相关的资源文件,是参考misra的规则,若需要misra原文,请去官网https://www.misra.org.uk/购买。另外支持misra规则的检查,需加参数:--addon=misra.json(绝对路径)
用户评论
推荐下载
-
静态代码检测工具
自己从网上搜索的一些静态代码检测工具的简要描述!
39 2018-12-09 -
静态代码分析工具findbug
静态代码分析工具,查找代码中的问题,代码优化的好工具
29 2019-06-05 -
understand静态代码分析工具
UnderstandingUnderstanding-EssaysonCyberneticsandCognition
30 2019-05-04 -
静态代码分析工具汇总
文档包括静态代码分析工具的汇总。 静态代码测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行,充分发挥人的逻辑思维优势,也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查
53 2019-01-07 -
代码静态测试工具
C代码静态测试工具,大家共享,使用说明另附.得个积分
20 2020-07-23 -
findbugs静态代码分析工具
1、将下载回来的zip包解压,得到文件夹:edu.umd.cs.findbugs.plugin.eclipse_1.3.9.20090821, 将该文件夹拷贝到myeclipse安装目录下common
39 2020-08-14 -
MISRA C2012中英文对照版本
MISRA C:2012 Guidelines for the use of the C language in critical systems
1209 2020-11-11 -
golang一些常用的静态检查工具详解
一、背景 俗话说,工欲善其事,必先利其器。go 作为一个对基础功能封装非常好的语言,对编码体验,如何更高效地写出高性能代码,都是考虑非常好的。因此,如何能够写出更美观、更安全的golang代码,也是我
21 2021-02-01 -
Cppcheck用法
Cppcheck不同于C/C++编译器及很多其它分析工具,它不检查代码中的语法错误。Cppcheck 只检查编译器检查不出来的bug类型,其目的是检查代码中真正的错误(即:零误报)。支持的代码和平台:
19 2021-01-31 -
cppcheck手册
详细讲解了cppcheck的使用方法,简单易上手
37 2019-05-28
暂无评论