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