嵌入式C/C++代码静态审查工具，24条规则。检查中断安全(ISR阻塞/volatile)、数组越界、整数溢出、malloc未检查、浮点比较、硬编码延时、魔术数字、switch缺default、寄存器指针解引用、宏副作用等，按严重级别排序输出问题清单和修复建议。精确识别边界检查模式减少误报。