一种参数化的改进SDG程序切片方法  

Parametric method for improving SDG-based program slicing

作　　者：张迎周[1] 徐晨晨 竺殊荣 

机构地区：[1]南京邮电大学计算机学院,江苏南京210023

出　　处：《南京邮电大学学报（自然科学版）》2017年第6期75-80,89,共7页Journal of Nanjing University of Posts and Telecommunications：Natural Science Edition

基　　金：国家自然科学基金(61300054);广西可信软件重点实验室开放基金;江苏省"青蓝工程"中青年学术带头人资助项目

摘　　要：程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用。目前主流的过程间程序切片方法是基于系统依赖图(SDG)算法,但这种算法缺乏对过程内切片结果的再使用。文中提出一种参数化的改进SDG切片方法,使用一种新的构造传递依赖边的方法(Summ Edge算法),充分复用了过程内切片的结果,无需构造特征子图等中间形式,避免了调用上下文问题和重复计算。此外,文中对算法的效率和精度进行了验证,并与其他切片算法进行比较,实证了改进SDG算法的有效性。The program slicing is one of the important methods for program analysis and understanding. It has been widely applied in practical productions and research. Currently, the main inter-procedural program slicing method is based on system dependence graph （SDG） algorithm, but the method lacks the reuse of intra-procedural slice results. This paper presents a parametric method for improving SDG program slicing. To sloving the calling-context problem., a novel method for constructing the transitive edges （ SummEdge algorithm） is proposed. The method reuses the results of intra-procedural slicing without constructing the characteristic graph, thus avoiding repeated counting to a large extent. Furthermore, the efficiency and the accuracy of the method are verified. Compared with other slicing algorithms, the results show that the improved SDG algorithm is effective.

关 键 词：改进SDG 过程内切片 过程间切片 传递依赖边 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]