CFGs are the coordinate system of optimizing compilers — LLVM's opt passes, Go's compiler, and even coverage tools like gcov all reason over basic blocks and edges. Security tooling depends on them too: binary analysis frameworks like angr and Ghidra reconstruct CFGs from machine code to find vulnerabilities.