| 基于关键分支的不可行路径确定方法 |
| |
| 引用本文： | 潘丽丽,邹北骥,王天锷,陈浩.基于关键分支的不可行路径确定方法[J].北京工业大学学报,2010,36(5). |
| |
| 作者姓名： | 潘丽丽 邹北骥 王天锷 陈浩 |
| |
| 作者单位： | 中南林业科技大学,计算机信息与工程学院,长沙,410004;中南大学,信息科学与工程学院,长沙,410081;湖南省送变电建设公司,调试所,长沙,410017 |
| |
| 基金项目： | 湖南省教育厅青年基金，国家自然科学基金，中南林业科技大学新进高层次人才项目 |
| |
| 摘 要： | 不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径的确定时间.
|
| 关 键 词： | 不可行路径 关键分支 值依赖 控制依赖 |
Analysis of the Infeasible Path Based on Key Branch |
| |
| PAN Li-li,ZOU Bei-ji,WANG Tian-e,CHEN Hao.Analysis of the Infeasible Path Based on Key Branch[J].Journal of Beijing Polytechnic University,2010,36(5). |
| |
| Authors: | PAN Li-li ZOU Bei-ji WANG Tian-e CHEN Hao |
| |
| Affiliation: | PAN Li-li1,ZOU Bei-ji2,WANG Tian-e3,CHEN Hao2 (1.Computer and Information Engineering College,Central South University of Forestry and Technology,Changsha 410004,China,2.School of Information Science and Engineering,Central South University,Changsha 410083,3.The Commission Institute,Hunan Electric Power Transmission and Substation Construction Company,Changsha 410017,China) |
| |
| Abstract: | Usually,infeasible paths increase program complexity and program redundancy,produce useless DU(def-use) chains,and affect the result of program static analysis,so analyzing this issue can improve path testing and static analysis techniques of programs,such as data flow analyzing,program slicing and so on.Based on the analysis of infeasible paths,this paper presents a new technique of key branch to faster analyze these infeasible paths more quickly.Firstly,the method finds the key branches by these valid inf... |
| |
| Keywords: | infeasible path key branch data dependency flow control dependency flow |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
