CSC448: Program Analysis I: Control Flow Graphs I [85/133] |
Intra-procedural analysis usually requires knowledge of the flow of control in a method block or entry block.
Normally, control flows from one statement to the next statement.
Goto statements (conditional and unconditional) introduce non-sequential control flow.
Consider file:test027.hob.
A (directed) graph that represents the control flow between statements in the entry block: file:test027_entry.pdf
Normally the statements are grouped into basic blocks for efficiency.
What about while loops and if-then-else statements?