| 一种面向动态链状数据结构的指针定值引用链算法 |
| |
| 引用本文： | 付小朋,张昱,张伟,汪晨.一种面向动态链状数据结构的指针定值引用链算法[J].小型微型计算机系统,2011,32(7). |
| |
| 作者姓名： | 付小朋 张昱 张伟 汪晨 |
| |
| 作者单位： | 中国科学技术大学计算机科学与技术学院,合肥,230027;中国科学技术大学苏州研究院软件安全实验室,江苏苏州,215123 |
| |
| 基金项目： | 国家自然科学基金项目(90718026,60928004)资助 |
| |
| 摘 要： | 采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状数据结构的语句,具体地,每条对链状数据结构进行定值的语句,算法将找出所有引用被该语句定值的链状数据结构的语句的集合.该算法将被整合到我们设计和开发的并行语言mini-SPC中,指导对操作动态链状数据结构的并行程序的正确分析和程序变换.实验表明基于本文的算法能保证操作动态链状数据结构的指针定值引用链的分析精度,提高分析的效率.
|
| 关 键 词： | 定值引用链 到达定值 别名分析 程序分析 动态链状数据结构 |
Study on Definition-use Chains Algorithm in Dynamic Pointer-linked Data Structures |
| |
| FU Xiao-peng,ZHANG Yu,ZHANG Wei,WANG Chen.Study on Definition-use Chains Algorithm in Dynamic Pointer-linked Data Structures[J].Mini-micro Systems,2011,32(7). |
| |
| Authors: | FU Xiao-peng ZHANG Yu ZHANG Wei WANG Chen |
| |
| Affiliation: | FU Xiao-peng1,2,ZHANG Yu1,ZHANG Wei1,WANG Chen1,21(School of Computer Science & Technology,University of Science & Technology of China,Hefei 230027,China)2(Software Security Lab,Suzhou Institute for Advanced Study,Suzhou 215123,China) |
| |
| Abstract: | This paper presents a flow-sensitive algorithm to compute intraprocedural definition-use chains in dynamic pointer-linked data structures.The aim is to relate the statements that construct links of linked data structures(i.e.definitions) to statements that might traverse the structures though the links(i.e.uses).Specifically,for each statement S that defines links of linked data structures,the algorithm finds the set of statements that traverse the links which are defined by S.Our method will be incorporate... |
| |
| Keywords: | definition-use chains reaching-definition alias analysis program analysis dynamic linked data structures |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
