Given a normalized AST this approximates the control flow graph of the program. This few is different from the computation of the dataflow graph and may differ, especially because it focuses on intra-procedural analysis.
the normalized AST
Optional
additional dataflow facts to consider by the control flow extraction
Given a normalized AST this approximates the control flow graph of the program. This few is different from the computation of the dataflow graph and may differ, especially because it focuses on intra-procedural analysis.