제어 흐름 그래프
프로그램 실행 중 발생할 수 있는 모든 경로를 그래프 형태로 나타낸 구조이다. 노드는 실행 블록을, 엣지는 조건문이나 반복문에 의한 실행 흐름의 이동을 의미한다. 프로그램의 논리적 구조를 파악하고 도달 불가능한 코드를 찾거나 최적화를 수행하는 데 필수적인 도구이다.