A directed graph whose nodes are basic blocks and whose edges represent possible control transfers between them.
CFGs are the coordinate system for optimizers, coverage tools, and binary analysis frameworks like Ghidra and angr.