313
edits
Abstract Interpretation: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
|||
| Line 31: | Line 31: | ||
return k + m + n; // k is constant: 2 | return k + m + n; // k is constant: 2 | ||
} | } | ||
=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: | |||
=Concrete Interpretation= | =Concrete Interpretation= | ||