The stage in a compiler pipeline where IR is analyzed into a CFG. Can check for: Loops If some conditionals will ever happen (Some optimizations) Concepts Sound Compiler Analysis Conservative Compiler Analysis