Polyspace作为MISRA-C合规性检查工具,其检查规则会根据目标C语言标准(C90或C99)动态调整限值要求。

以下是C90与C99限值核心差异解析:

限值类型 C90标准(MISRA-C:2004‌) ‌C99标准(MISRA-C:2012)
结构体或联合体的嵌套 15 63
结构体或联合体的成员数量 127 1023
内部标识符有效字符数 31 63
函数参数个数 31 127
条件语句嵌套层数 8 63
函数参数个数 31 127
枚举常量的数量 127 1023
宏定义的数量 1024 4095
#include导致嵌套 8 15

**对于文章出现的任何问题请大家批评指出,一定及时修改

**可联系我:3113964587@qq.com

**本文原创,如需转载请标注出处!

相关推荐
·present·2 小时前
CSAPP(Bomb lab)
c语言·c++
wuminyu6 小时前
Java字节码学习总结:字节码如何加载、解析和执行
java·linux·c语言·jvm·c++
Zevalin爱灰灰8 小时前
Linux入门第二部分(ARM裸机篇) 第一章 开发环境搭建与了解
linux·arm开发·嵌入式
图灵-M9 小时前
【数据结构】静态 & 动态顺序表
c语言·数据结构·笔记
揽星河..10 小时前
【C语言】数组
c语言·开发语言·算法
水饺编程10 小时前
第2章:Linux 基础,制作【.tar.xz】压缩包文件
linux·c语言·汇编
揽星河..11 小时前
【C语言】函数
c语言·算法
菜鸟小芯13 小时前
【Quectel Pi M2 实战】Day3 USB 摄像头图像采集:拍照、录像与踩坑记录(V4L2 + FFmpeg)
ffmpeg·嵌入式
Navigator_Z13 小时前
LeetCode //C - 1311. Get Watched Videos by Your Friends
c语言·算法·leetcode
可乐_不渴14 小时前
# C语言文件操作全解析:从 fopen 到 fclose,一文吃透文件 IO
linux·服务器·c语言