객체 지향 프로그래밍
제어 흐름 분석 (control flow analysis) (CFA)은 프로그램의 제어 흐름을 결정하기 위한 정적 프로그램 분석 기법이다. 제어 흐름은 제어 흐름 그래프 (CFG)로 표현된다. CFA라는 용어는 함수형 프로그래밍와 객체 지향 프로그래밍 둘 다 제어 흐름을 계산하는 구체적인 알고리즘이다.