第六章:SSA 数据流与跨过程分析
在对闭包和 OOP 的讨论结束后,我们基本可以知道现代编程语言的大部分语法和特性都是可以用 SSA 来表示的。前面的所有内容共同构成了我们后续讨论的基础。
那么,接下来我们就会进一步讨论静态分析在 SSA 视角下将会变的多简单。
本章目标
基本了解 SSA 视角下的数据流分析和跨过程分析。
知道 Yak SSA 系统是如何实现数据流分析和跨过程分析,他们的表现如何。
数据流基本概念
在本章开始,我们需要重温静态分析中的两个重要且令人头疼的话题,数据流和跨过程分析。并且结合我们前面讨论的 SSA 系统,来讨论这两个话题。读者可以很容易发现这两个话题在 SSA 系统将变的非常具象。