따라서 , 제 어 흐름 그래프 ( Control Flow Graph , CFG ) 를 도입 할 수 있 다 . 제 어 흐름 그래프 는 실행 중 에 프로그램 을 통과 하 는 모든 경로 를 그래프 로 표기 할 수 있 다 . 그래프 에서 각 노드 는 기본 블락 ( basic block ) 을 나타내 고 화살표 는 점프 ( jump ) 를 나타내 기 위해서 사용 할 수 있 다 . 그래프 는 하나 의 진입 블락 ( entry block ) 과 종료 블락 ( exit block ) 를 가질 수 있 다 . 화살표 인 모든 선 은 Outdegree ( A ) > 1 이거 나 Indegree ( B ) > 1 ( 또는 양쪽 ) 인 속성 을 가질 수 있 다 .