一种面向动态链状数据结构的指针定值引用链算法.pdfVIP

2011 7 7 Journal of Chinese Com puter System s Vol1 32 No. 7 2011 1, 2 1, 2 1, 2 1, 2 付小朋 , 张 昱 , 张 伟 , 汪 晨 1 ( , 230027) 2 ( , 215123) E-m ail: yuzhang@ ustc. edu. cn : 采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链. 目的 连接对链状数据结构进行定值 的语句和引用这些链状数据结构的语句, 具体地, 每条对链状数据结构进行定值的语句, 算法将找出所有引用被该语句定值的 链状数据结构的语句的集合. 该算法将被整合到我们设计和开发的并行语言m ini- SPC 中, 指导对操作动态链状数据结构的并 行程序的正确分析和程序变换. 实验表明基于本文的算法能保证操作动态链状数据结构的指针定值引用链的分析精度, 提高分 析的效率. : ; ; ; ; : TP311 : A : 1000-1220( 2011) 07-14 12-06 S tudy on D efin ition-use Chain s A lgorithm in D ynam ic Poin ter-link ed D ata Structures 1, 2 1, 2 1, 2 1, 2 FU X iao-peng , ZHANG Yu , ZHANG W ei , WANG C hen 1 (Schoo l of Com puter Science Technology, University o f Science Techno logy o fChina, Hefei 230027, China ) 2 (Sofwt a re Secur ity Lab, Suzhou Institute fo r Advanced Study, University of Science Technology of China, Suzhou 215123, China ) A bstrac t: This paper presen ts a f low - sen sitive algorithm to com pute intraprocedural definition- use chains in dynam ic po inter- linked data structures. The ami is to relate the statem ents that con struct link s of linked data structures( .i e. defin ition s) to statem ents thatm ight traverse the structures though the links( i. e. uses) . Specifically, for each statem ent S that def ines links of linked data structures, the algorithm finds the set of statem ents that traverse the link sw h ich are def ined by S. Ourm ethodw ill be incorporated in- to the parallel languagem ini- SPC designed and developed by us. It is used to be in charge of accurately analyzing and transform ing the parallel program in dynam ic po inter- linked data structures. Expermi en tal results illustrate that the proposed algorithm for com pu- ting defin ition- use chain s could m aintain the quality of defin ition- use chains for dynam ically alloca