双语法规则程序依赖性分析

摘要：

为了提高传统程序依赖性分析的应用范围和灵活性,提出一种新的程序分析方法.该方法分为不完整性分析和完整性分析两部分.在gcc3.2和Linux内核2.4.20-8的编译环境下,利用不同的词法和语法分析模块对程序结构、数据依赖和控制信息进行提取,加快了程序分析的速度,并有效降低了程序数据流依赖分析和控制流依赖分析中算法的复杂度.最后用具体的程序实现证明了该算法的可行性.

关键词：词法分析、语法分析、数据流、控制流、程序测试

所属期刊栏目：34

分类号：TN911-34;TP311

在线出版日期：2011-06-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：38-41