基于文法简化和语旬深度的静态结构模型嵌入式软件分析.PDFVIP

Vo1. 43 No. 11A 第 43 卷第11A 期 计算机科学 2016 年 11 月 Computer Science Nov 2016 基于文法简化和语旬深度的静态结构模型嵌入式软件分析 李祯祥1 刘祟伟1 杨广益2 刘金硕2 (国网天津市电力公司电力科学研究院 天津 300000)1 (武汉大学计算机学院 武汉 430079)2 摘 要 提出了一种基于文法简化和配合语句深度的静态结构模型的嵌入式软件分析方法。该方法设计了文法简化 的词法分析和配合语句深度的语法分析，结合控制流/数据流分析，对嵌入式软件进行分析。以智能电能表开源软件 作为案例，进行了 30 次实验，将人为插入的错误代码作为验证对象，同 PC-Lint 和 Splint 测试工具进行对比，本方法 能够正确分析的概率为 91% ，介于 PC-Lint 的 95%和 Splint 的 90%之间。该方法在解决了编译器对嵌入式平台不兼 容问题以及保障正确率的情况下，提高了测试的效率。实验结采证明本方法适用于通过编译的 C(含嵌入式)程序。 关键词 嵌入式系统，静态结构模型，软件分析 中图法分类号 TP305 文献标识码 A Analysis of Embedded Software ?ased on Static Model with Simplified Grammar and Sentence Depth LI Zhen-xiang1 LIU Chong-wei1 YANG Guang-yi2 LIU Jin-shu02 CTianjin Electric Power Research Institute ,Tianjin 300000 ,China) 1 CComputer School ,Wuhan University ,Wuhan 430079 ,China)2 Abstract In order to solve the problem that the embedded software has the shortcoming of the platform dependence , this paper presented an embedded software analysis method based on the static structure model. Before control flow and data flow analysis ,a lexical analysis/ syntax analysis method with simplified gramm且r and sentence depth was designed to analyze the embedded software. This paper used the open source software of smart meters as a case ,and used the ar tificial errors as the test objects , repeated 30 times. Compared with the popular static analyzing tools PC-Lint and Splint ,the method can accurately orient 91% errors ,which is between PC-Lint s 95% and Splint s 90 %. The result in dicates that the correct rate of our method is acceptable. Meanwhile ,b