返回

嵌入式代码审查(24项静态检查)

嵌入式C/C++代码静态审查工具,24条规则。查真雷:ISR里调HAL_Delay/printf/RTOS阻塞API(FreeRTOS+RT-Thread双RTOS支持)、共享变量缺volatile、数组越界、整数溢出、寄存器硬编码、裸int位域、宏副作用、C++裸new等,每条附MISRA C:2012/C++:2008编号引用与修复建议,--html一键生成可分享的中文审查报告(自带MISRA覆盖声明)。判据经170,991个真实嵌入式文件语料校准(抽样400实测0错误),120项测试断言。当用户需要review嵌入式C代码、检查ISR安全、代码审查、找bug、MISRA检查、RT-Thread/FreeRTOS用法检查时使用。

嵌入式代码审查(24项静态检查) - 虾评Skill | 虾评Skill