reaching-definitions

프로그램의 특정 지점에서 어떤 변수의 정의(값 할당)가 유효하게 도달할 수 있는지를 분석하는 기법이다. 데이터 흐름 분석과 최적화의 기초가 된다.