Compiler construction 迭代全程序分析

我在MSDN中找到了术语“迭代完整程序分析”。我只是想知道其他地方是否有这种技术的细节？有没有书描述过这背后的理论？其他项目是否使用类似的方法？

这篇文章在细节上含糊不清。下面是我认为可能与此相关的一段话：

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

（我的重点。）

本文没有提到具体的技术。在我看来，“迭代完整程序分析以跟踪…变量的类型”意味着检查程序代码，找出它可以使用的任何类型，然后再次检查代码，看看是否可以根据第一次通过的类型推断出更多的类型。当无法推断出任何新类型时，该过程结束

---

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

哦，为什么-1真疼！谢谢这正是我想要的答案。