该论文研究了面向C语言的MISRA静态代码检测方法，旨在提高嵌入式系统的代码质量和安全性。通过分析MISRA标准的要求，提出了一种有效的代码检测机制，能够及时发现潜在的代码缺陷和安全隐患。该方法在综合电子系统技术教育部重点实验室及四川省高密度集成器件工程技术研究中心的实验中得到了验证，对提升软件开发规范性和系统可靠性具有重要意义。
举报
