compiler-construction - 数据流图构建

Question

给定抽象语法树，我被要求编写一个程序来构建输入程序代码的数据流图。我在网上搜索数据流图的定义，发现一个代码段的数据流分析有很多事情要做。我想知道为给定代码构建数据流图到底需要绘制什么。很感谢任何形式的帮助!

Answer 1

给定一个 AST，要生成数据流图，您必须:

建立符号表，以便使用的每个标识符都映射到其显式或隐式定义的类型，还允许您区分一个范围内的标识符与另一个范围内的相同标识符

构建一个 control flow graph ，显示程序代码的执行顺序和条件分支。 (在函数之间构建调用图的加分项!)

确定数据如何沿控制流图流动，通常使用某种 data flow analysis framework ，建立对变量生命周期的引用，并将所有这些捕获为图形。

您可以使用某种外部图形绘制包绘制最终图形。

所有这些步骤都非常复杂，并且可能比您想象的要多得多。我的印象是你在这里没有太多背景。您可以通过研究标准编译器文本(Aho/Sethi/Ullman“编译器”)来获得该背景，该文本非常经典且非常好。但是你需要在开始之前做到这一点，否则你不会真正理解这些步骤并且它们链接在一起。