Control flow graph

A Control Flow Graph (CFG), is a program description that shows the possible paths through a program as a graph (usually with nodes being basic blocks). An edge between nodes in a control flow graph is some kind of jump, for example a goto, a conditional jump, a table switch, or just a fallthrough.

See also Basic block.

Get Oracle JRockit now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.