별도 컴파일을 유지한 안전한 언어 합성

초록

본 논문은 Neverlang 언어 워크벤치를 대상으로, 별도 컴파일을 포기하지 않으면서 속성 문법의 정의되지 않은 접근을 정적 분석으로 탐지하는 nlgcheck 도구를 제안한다. 데이터 흐름 분석 기반의 이 도구는 동적 맵 사용이 초래하는 런타임 오류를 컴파일 시점에 차단하고, 모듈성·재사용성을 유지한다. 변이 테스트를 통한 실험 결과, 높은 오류 탐지율과 실용적인 성능을 입증한다.

상세 분석

논문은 언어 워크벤치가 직면한 ‘언어 확장 문제’를 재조명하고, 특히 별도 컴파일(separate compilation) 제약이 실무에서 어떻게 포기되는지를 비판한다. 별도 컴파일을 포기하면 AST 구조가 확장 시점에 재생성되지 않아, 새로운 속성(attribute)이 기존 노드에 추가될 때 런타임에 undefined attribute 오류가 발생한다. 기존 Neverlang 구현은 동적 맵을 이용해 속성을 저장함으로써 구조적 제약을 회피했지만, 이는 정적 타입 검증을 완전히 포기하는 결과를 낳는다.

이에 저자들은 데이터 흐름 분석(data‑flow analysis)을 기반으로 한 정적 검사 프레임워크 nlgcheck을 설계한다. 핵심 아이디어는 각 언어 모듈이 제공하는 속성 정의와 사용을 별도의 의존 그래프에 매핑하고, 정의‑사용(def‑use) 체인을 통해 ‘정의되지 않은 사용’(use‑before‑def) 상황을 탐지하는 것이다. 이를 위해 CFG(제어 흐름 그래프)와 PDG(프로그램 의존 그래프)를 구축하고, 지배(dominance)와 지배 전선(dominance frontier) 정보를 활용해 조건부 정의가 가능한 경로를 정확히 모델링한다. 특히, 조건문 내부에서만 정의되는 속성이 다른 경로에서 사용될 경우를 정밀하게 포착한다는 점이 기존 타입 시스템보다 강력하다.

nlgcheck은 모듈 단위로 분석을 수행하므로 별도 컴파일을 유지한다. 각 모듈은 자신의 속성 스키마와 의존성을 선언하고, 다른 모듈과의 인터페이스는 명시적 선언만으로 연결된다. 따라서 전체 프로그램을 재컴파일하지 않아도 새로운 모듈을 추가하거나 기존 모듈을 교체할 수 있다. 이와 동시에, 정적 분석 결과는 컴파일러 경고 혹은 오류로 보고되어 개발자가 즉시 문제를 수정하도록 돕는다.

실험에서는 Neverlang 기반 프로젝트에 변이 테스트를 적용해, 의도적으로 속성 정의를 삭제하거나 잘못된 이름을 삽입한 변이를 생성하였다. nlgcheck은 95 % 이상의 변이를 정확히 탐지했으며, 분석 시간은 평균 0.12 초(프로젝트당)로 실시간 피드백에 충분한 수준이었다. 또한, 기존 동적 맵 방식으로는 런타임에만 발견될 수 있던 오류들을 컴파일 시점에 차단함으로써, 개발 비용과 디버깅 시간을 크게 절감할 수 있음을 보여준다.

이 논문은 속성 문법 기반 DSL 및 GPL 확장에 있어, 별도 컴파일과 정적 안전성을 동시에 달성할 수 있는 실용적 방법론을 제시한다는 점에서 학술적·산업적 의의가 크다.