CFG Explorer

Visualize control flow graphs, step through reaching definition and live variable iterations, and explore call graphs. Select a snippet, then use the tabs to inspect its analysis.

Simple SequenceLinear ENTRY → B1 → EXIT. All definitions reach the end. All variables live at start.
Source Code
Loading editor...
Block types:entryexitstmtcondcall
ENTRYB1x = 3EXIT