7
edits
Abstract Interpretation: Difference between revisions
Jump to navigation
Jump to search
m
→Control Flow Graphs
| Line 48: | Line 48: | ||
A little terminology: | A little terminology: | ||
* Each node is called a '''basic block''', often abbreviated '''BB'''. The defining feature of a basic block is that there is a single entry point and a single exit | * Each node is called a '''basic block''', often abbreviated '''BB'''. The defining feature of a basic block is that there is a single entry point and a single exit, so basic blocks are straight-line code. | ||
* In different sources, statements may be called ''statements'', ''instructions'', ''triples'' (of a destination and up to 2 operands), ''quadruples'' or ''quads'' (counting the operator), or even ''tuples''. We'll call them ''instructions'', as that's the name used in Treehydra code. | * In different sources, statements may be called ''statements'', ''instructions'', ''triples'' (of a destination and up to 2 operands), ''quadruples'' or ''quads'' (counting the operator), or even ''tuples''. We'll call them ''instructions'', as that's the name used in Treehydra code. | ||