313
edits
Abstract Interpretation: Difference between revisions
Jump to navigation
Jump to search
→Control Flow Graphs
No edit summary |
|||
| Line 46: | Line 46: | ||
A little terminology: | A little terminology: | ||
* Each node is called a '''basic block'''. The defining feature of a basic block is that there is a single entry point and a single exit--basic blocks are straight-line code. | * 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--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. | ||