CSC448: Program Analysis I: Control Flow Graphs I [85/133] Previous pageContentsNext page

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?

Previous pageContentsNext page