如何使用AST生成程序的控制流图

循环、跳转（break/.6 Control Flow）也包括进来更好。

对数据流分析来说；而AST的结构虽然已经省略了一些语法细节，但仍然贴近语言的语法，更是藏得深，IR无论是树形对一个有结构化编程特性的编程语言而言、把控制流显式暴露出来的中间表示（IR），抽象语法树（AST）与“流分析”（flow analysis）不够兼容的地方在于：这些编程语言会有分支。

所以正统做法推荐的是在做数据流分析之前；continue，或者像C#那样受限的goto）、异常处理等语法结构，它们隐含了不连续的控制流，先把AST转换为一种更细粒度的。

更糟糕的是，这些编程语言中许多都有条件表达式（典型的是 ？ ： 三元运算符）以及带有短路求值语义的逻辑运算表达式（典型的是 &&、|| 二元运算符），这些“表达式”内也隐含控制流。

虎书教的做法正是如此，第7章介绍从AST生成IR，第8章介绍了IR里的控制流与基本块。

前面 @vczh 和 @陈炜 的回答都提到了这一点。

@邵成 的回答提到龙书第8~9章，我觉得把第6章（特别是6、DAG还是线性形式都没关系，只要控制流和数据依赖易于分析就好。

SSA形式的IR可以把两者都显式暴露出来，所以AST里控制流往往是隐含在上述语法结构对应的节点里...

求教,llvm下怎样将C语言程序生成控制流图

数据流图，程序结构图和系统结构图的区别和联系如下：1、数据流图（Data Flow Diagram），简称DFD，它从数据传递和加工角度，以图形方式来表达系统的逻辑功能、数据在系统内部的逻辑流向和逻辑变换过程，是结构化系统分析方法的主要表达工具及用于表示软件模型的一种图示方法。

它是描绘信息流和数据从输入移动到输出的过程中所经受的变换。

2、系统流程图（System Flowchart）是描绘系统物理模型的传统工具。

它的基本思想是用图形符号以黑盒子形式描绘系统里面的每个部件（程序、文件、数据库、表格、人工过程等），表达信息在各个部件之间流动的情况，而不是表示对信息进行加工处理的控制过程。

3、数据流程图：反应数据走向 ，它不考虑时序关系，是业务分析用的，用作详细设计。

图中的有向线段表示了数据流。

4、程序流程图：程序逻辑 描述程序中控制流的情况，即程序中处理的执行顺序和执行序列所依赖的条件，图中的有向线段表示的是控制流，从一个处理走到下一个处理。

5、系统结构图：反映的是系统中模块的调用关系和层次关系，谁调用谁，有一个先后次序（时序）关系。

图中的有向线段表示调用时程序的控制从调用模块移到被调用模块，并隐含了当调用结束时控制将交回给调用模块。

...

控制电脑软件下载,怎么控制别人电脑要用到什么软件才可以？

操作程序 ①选择控制特性。

②选择合适的控制图。

③确定分组原则（项目的小集合，并假定在该集合内的波动仅由随机原因引起），样本大小和抽样间隔。

④收集并记录至少20~25组数据，或使用以前所记录的数据。

⑤计算各分组样本的统计量。

⑥根据分组样本的统计量计算控制界限。

⑦绘制控制图并标出各组的统计量。

⑧研究控制界限之外的点并标出异常或特殊原因的状态。

⑨决定下一步行动。