313
edits
Changes
→Control Flow Graphs
Abstract interpretation operates on a flowchart representation of the function called a '''control flow graph''' or '''CFG'''. Here is the CFG for the example function:
[[Image:treehydra-cfg.png|right]]
It looks like a pretty normal flowchart. Some features to note:
