SUIF2平台下MOD分析算法的设计与实现

摘要：

MOD问题是指在进行过程调用时哪些信息可能在被调用的过程中被修改.针对C语言,本文提出了一种基于流敏感、上下文敏感指针分析结果的MOD分析算法.该算法通过计算表达式在指向图中的左值,得到所有可能被修改的内存位置,从而计算出所有可能在被调用过程中被修改的表达式.我们在SUIF2平台下实现了该算法,得到了预期的实验结果.

关键词：MOD分析、指向图、指针分析

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60725206,60673118,90612009;国家863计划资助项目2006AA01Z429;国家973计划资助项目2005CB321802;新世纪优秀人才计划资助项目NCET-04-0996

在线出版日期：2009-03-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：81-84