도달 정의
프로그램의 특정 지점에서 어떤 변수의 정의(값 할당)가 유효하게 도달할 수 있는지를 분석하는 기법이다. 데이터 흐름 분석과 최적화의 기초가 된다.
레거시 코드 분석의 혁명: LLM으로 불완전한 코드도 실행한다