고차 프로그램을 위한 스택 요약 제어 흐름 분석

초록

본 논문은 고차 함수 언어의 정밀한 흐름 분석을 위해 추상 가비지 컬렉션과 컨텍스트-프리(무문맥) 분석을 직접 결합한다. 푸시다운 시스템은 스택 최상위만 접근 가능하지만, 가비지 컬렉션은 전체 스택을 검사해야 하는 모순을 해결하기 위해 “스택 요약”이라는 메커니즘을 도입한다. 이를 통해 호출 시 인자 병합과 반환 시 값 병합 두 가지 정밀도 손실을 동시에 감소시켜, 기존 방법보다 더 정확하고 효율적인 제어 흐름 분석을 제공한다.

상세 요약

이 연구는 고차 프로그램의 제어 흐름 분석에서 두 가지 주요 정밀도 저하 요인, 즉 호출 시 인자값의 병합과 반환 시 값의 병합을 동시에 해결하려는 시도이다. 기존에는 추상 가비지 컬렉션(abstract garbage collection, AGC)이 호출 시 인자 병합을 완화하고, 컨텍스트‑프리(pushdown) 분석이 반환 시 값 병합을 없애는 방식으로 각각 독립적으로 적용되었다. 그러나 두 기법을 단순히 병합하면 푸시다운 시스템의 핵심 제약—스택의 최상위만을 관찰할 수 있다는 제한—과 가비지 컬렉션이 필요로 하는 전체 스택 스캔 사이에 충돌이 발생한다. 논문은 이 충돌을 해소하기 위해 “스택 요약(stack summary)”이라는 새로운 추상 도메인을 정의한다. 스택 요약은 각 제어 상태마다 현재 스택에 존재할 수 있는 주소들의 집합을 보존함으로써, 가비지 컬렉션 단계에서 실제 스택을 탐색하지 않고도 살아있는 주소를 판단할 수 있게 한다. 이 요약은 불변성을 유지하도록 설계되어, 푸시다운 전이 규칙과 호환되며, 전이 시 스택 프레임이 푸시·팝될 때 요약을 적절히 업데이트한다. 결과적으로, AGC와 컨텍스트‑프리 분석의 직접적인 곱(product)이 계산 가능해지고, 정밀도는 두 기법을 별도로 적용했을 때의 합보다 크게 향상된다. 구현 측면에서는 표준 CESK* 머신에 스택 요약을 통합하고, 고차 람다 계산식에 대한 실험을 수행했다. 실험 결과는 분석 시간과 메모리 사용량이 크게 증가하지 않으면서도, 특히 재귀 호출이 깊은 프로그램에서 반환값 혼합이 현저히 감소함을 보여준다. 이 논문은 고차 언어 정적 분석에서 스택 정보를 효율적으로 요약하는 방법을 제시함으로써, 정밀도와 효율성 사이의 전통적인 트레이드오프를 재조정하는 중요한 기여를 한다.