What is control-flow analysis?
•Data-flow analysis relied on a control-flow graph
•How do we construct CFG?
•For intra-procedural analysis, relatively straightforward
•Identify basic blocks, control-flow structures
• We will not delve into this
•For inter-procedural analysis
•If functions/procedures are not first-class, relatively simple
•For languages with dynamic dispatch, it’s harder
• Dynamic dispatch: which procedure/function gets invoked depends on runtime values
• Functional languages, OO, imperative languages with procedures as parameters, ...
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
| File | MIME type | Size (KB) | Language | Download | |
|---|---|---|---|---|---|
| Control-Flow Analysis.pdf | application/pdf | 2.78 MB | English | DOWNLOAD! |
Provides definitions
Cover images
Introduction
What is control-flow analysis?
•Data-flow analysis relied on a control-flow graph
•How do we construct CFG?
•For intra-procedural analysis, relatively straightforward
•Identify basic blocks, control-flow structures
• We will not delve into this
•For inter-procedural analysis
•If functions/procedures are not first-class, relatively simple
•For languages with dynamic dispatch, it’s harder
• Dynamic dispatch: which procedure/function gets invoked depends on runtime values
• Functional languages, OO, imperative languages with procedures as parameters, ...