Klocwork 是一种常用于 MISRA C 静态分析的工具，能够自动检测代码是否符合 MISRA C 规范。