10.14132/j.cnki.1673-5439.2017.06.012
一种参数化的改进SDG程序切片方法
程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用.目前主流的过程间程序切片方法是基于系统依赖图(SDG)算法,但这种算法缺乏对过程内切片结果的再使用.文中提出一种参数化的改进SDG切片方法,使用一种新的构造传递依赖边的方法(SummEdge算法),充分复用了过程内切片的结果,无需构造特征子图等中间形式,避免了调用上下文问题和重复计算.此外,文中对算法的效率和精度进行了验证,并与其他切片算法进行比较,实证了改进SDG算法的有效性.
改进SDG、过程内切片、过程间切片、传递依赖边
37
TP311(计算技术、计算机技术)
国家自然科学基金61300054;广西可信软件重点实验室开放基金和江苏省“青蓝工程”中青年学术带头人资助项目
2018-02-05(万方平台首次上网日期,不代表论文的发表时间)
共7页
75-80,89