面向C基于MISRA的静态代码检测方法的研究
本文针对MISRA标准的特性进行研究,提出了一种基于MISRA安全子集的静态代码检测的方法,主要通过四个步骤,即,通过ParserGenerator工具提取源代码的静态信息形成关系语法树,然后将关系语法树翻译成XML中间模型;再将MISRA规则进行抽象处理,形成一种便于分析器理解的形式化语言;最后,使用X-SQL查询语言对XML进行扫描匹配,找到不符合MISRA规则的节点并定位到源代码中的某一行。通过该方法来减少安全隐患,可得到高可靠、高安全的C代码。
程序设计 C语言 代码检测 静态信息
廖丹
电子科技大学电子科学技术研究院 成都611731
国内会议
综合电子系统技术教育部重点实验室暨四川省高密度集成器件工程技术研究中心2012学术年会
成都
中文
532-537
2012-12-22(万方平台首次上网日期,不代表论文的发表时间)