313
edits
Abstract Interpretation: Difference between revisions
→Control Flow Graphs
| Line 36: | Line 36: | ||
=Control Flow Graphs= | =Control Flow Graphs= | ||
Abstract interpretation operates on a flowchart representation of the function called a '''control flow graph''' or '''CFG'''. | Abstract interpretation operates on a flowchart representation of the function called a '''control flow graph''' or '''CFG'''. Below is the CFG for the example function. This CFG is similar in flavor to the real GCC CFG, just with a few unimportant details removed. | ||
[[Image:treehydra-cfg.png|right]] | [[Image:treehydra-cfg.png|right]] | ||