Key points are not available for this paper at this time.
프로그램 내 변수의 정의와 사용 간의 의존성은 많은 언어 처리 도구에서 필요합니다. 본 논문에서는 호출 및 반환 지점에서 절차 경계를 넘어 확장되는 정의-사용 및 사용-정의 체인의 계산을 고려합니다. 각 절차에 대한 내부 정의 및 사용 정보가 추상화되어 절차 간 흐름 그래프를 구성하는 데 사용됩니다. 이 내부 데이터 흐름 정보는 절차 진입, 종료, 호출 및 반환을 포함한 각 절차 간 제어 지점에 대한 도달하는 정의 및/또는 도달 가능한 사용의 집합을 얻기 위해 절차 간 흐름 그래프를 통해 프로그램 전반에 전파됩니다. 이 도달 정보로부터 절차 간 정의-사용 및/또는 사용-정의 체인이 계산됩니다. 이 기술은 호출된 절차의 호출 컨텍스트를 유지하면서 참조 매개변수와 전역 변수로 인한 데이터 흐름의 절차 간 영향을 처리합니다. 또한, 재귀, 별칭, 그리고 별도의 컴파일을 처리합니다. 이 기술은 Sun-4 워크스테이션을 사용하여 구현되었으며 절차 간 데이터 흐름 테스터에 통합되었습니다. 실험 결과는 기술의 실용성을 나타내며, 절차 간 흐름 그래프의 크기와 데이터 흐름 집합의 크기 모두에 관하여 유효합니다.
Harrold et al. (Tue,)은 이 질문을 연구했습니다.