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

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

相关推荐
你怎么知道我是队长4 小时前
C语言---枚举变量
c语言·开发语言
Channon_8 小时前
专题五:实时系统的生死线——中断安全与优先级管理
嵌入式·优先级·中断安全
2401_876907529 小时前
USB TYPE-C 公头连接器设计规范总结:提升可靠性、降本增效的关键指南
c语言·开发语言·设计规范
Illusionna.10 小时前
C 语言实现独立样本 t 检验和配对样本 t 检验
c语言·编程·统计·统计学·t-test·独立样本t检验·配对样本t检验
龚礼鹏11 小时前
Android应用程序 c/c++ 崩溃排查流程二——AddressSanitizer工具使用
android·c语言·c++
大聪明-PLUS13 小时前
Linux进程间通信(IPC)指南 - 第3部分
linux·嵌入式·arm·smarc
Herbert_hwt13 小时前
C语言结构体操作符详解:从入门到精通的全方位指南
c语言
代码游侠14 小时前
应用——MQTT客户端开发
服务器·c语言·开发语言·数据结构·算法
暴风鱼划水14 小时前
三维重建【4-C】3D Gaussian Splatting:代码调试方法
c语言·开发语言
技术小泽15 小时前
MQTT从入门到实战
java·后端·kafka·消息队列·嵌入式