-
题名一种参数化的改进SDG程序切片方法
被引量：1
- 1
-
-
作者
张迎周
徐晨晨
竺殊荣
-
机构
南京邮电大学计算机学院
-
出处
《南京邮电大学学报（自然科学版）》
北大核心
2017年第6期75-80,89,共7页
-
基金
国家自然科学基金(61300054)
广西可信软件重点实验室开放基金
江苏省"青蓝工程"中青年学术带头人资助项目
-
文摘
程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用。目前主流的过程间程序切片方法是基于系统依赖图(SDG)算法,但这种算法缺乏对过程内切片结果的再使用。文中提出一种参数化的改进SDG切片方法,使用一种新的构造传递依赖边的方法(Summ Edge算法),充分复用了过程内切片的结果,无需构造特征子图等中间形式,避免了调用上下文问题和重复计算。此外,文中对算法的效率和精度进行了验证,并与其他切片算法进行比较,实证了改进SDG算法的有效性。
-
关键词
改进SDG
过程内切片
过程间切片
传递依赖边
-
Keywords
improved system dependence graph （SDG）
intra-procedural slicing
inter-procedural slicing
transitive edge
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
