迭代全程序分析

Question

我在MSDN的recent announcement中找到了“迭代全程序分析”一词。我只是想知道其他地方是否有关于此技术的任何细节？有书描述了背后的理论吗？其他项目是否使用类似的方法？

Answer 1

这篇文章在细节上含糊不清。以下是我认为可能与之相关的更多引言：

  

...迭代全程序分析，以跟踪项目中所有变量的类型，同时模拟项目中所有代码的执行。

（强调我的。）

本文没有提到具体的技术。在我看来，“迭代全程序分析以跟踪...变量的类型”是指遍历程序代码以找出可能的任何类型，然后再次遍历该代码以查看是否还有其他类型可以根据第一遍的类型来推断。当无法推断任何新类型时，该过程结束。

引号的另一部分“迭代全程序分析以……[模拟]执行所有代码”听起来有点像抽象解释。与往常一样，维基百科对abstract interpretation进行了很好的概述。没有一种方法可以进行抽象解释，它一直是研究的活跃领域，因此Google应该提供大量阅读材料。