7
edits
Abstract Interpretation: Difference between revisions
Jump to navigation
Jump to search
→Control Flow Graphs
| Line 42: | Line 42: | ||
It looks like a pretty normal flowchart. Some features to note: | It looks like a pretty normal flowchart. Some features to note: | ||
* All possible control transitions are shown as explicit edges. | * All possible control transitions are shown as explicit edges (that is, links between the nodes containing code - see http://en.wikipedia.org/wiki/Graph_(mathematics) for more information). | ||
* Statements always have exactly one operation and at most one assignment. Temporary variables are added if necessary. This will really simplify our job: instead of handling every kind of C++ statement, we have only have to analyze these simple statements. | * Statements always have exactly one operation and at most one assignment. Temporary variables are added if necessary. This will really simplify our job: instead of handling every kind of C++ statement, we have only have to analyze these simple statements. | ||