-
题名含指针程序的单子切片方法
被引量：5
- 1
-
-
作者
张迎周
吴重强
钱巨
张卫丰
徐宝文
-
机构
南京邮电大学计算机学院
南京大学计算机软件新技术国家重点实验室
北京邮电大学网络与交换技术国家重点实验室
EMC中国研发中心
南京航空航天大学信息科学与技术学院
南京大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第3期473-482,共10页
-
基金
国家自然科学基金(60703086
90818027
+5 种基金
60633010
60873049
60973046
60903026)
国家"八六三"高技术研究发展计划目标导向类项目(2009AA01Z147)
国家"九七三"重点基础研究发展规划项目基金(2009CB320703)资助
-
文摘
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.
-
关键词
程序切片
单子切片
数据流迭代
指针
指向分析
-
Keywords
program slicing
monadic slicing
data-flow iteration
pointer
point-to analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种过程间单子切片方法
被引量：2
- 2
-
-
作者
张迎周
符炜
-
机构
南京邮电大学计算机学院
广西可信软件重点实验室
江苏省无线传感网高技术研究重点实验室
宽带无线通信与传感网技术教育部重点实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第8期1457-1461,共5页
-
基金
国家自然科学基金(No.60973046
No.61100135)
+4 种基金
江苏省普通高校研究生科研创新计划(No.CX10B-195Z
No.CXLX12-0479)
南京邮电大学攀登计划(No.NY210009)
广西可信软件重点实验室开放基金
江苏省"青蓝工程"优秀青年骨干教师项目
-
文摘
在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性.
-
关键词
单子切片方法
模块单子语义
过程间程序
参数间依赖
组合性
-
Keywords
monadic slicing methods
modular monadic semantics
interprocedural programs
dependences among the parameters
compositionality
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
