DRReduce: 의존성 재구성을 통한 구문 가이드 프로그램 축소 성능 향상

요약

DRReduce는 언어 불가지론적 구문 가이드 프로그램 축소 기술에 의존성 재구성(dependency reconstruction)을 결합하여 프로그램의 의미론적 일관성을 유지하는 프레임워크입니다. 노드 삭제 시 발생하는 의존성 파괴 문제를 해결함으로써 속성 검사기의 수락률을 높이고 백트래킹을 줄여 축소 효율을 극대화합니다. 실험 결과, 기존 SOTA 도구들보다 뛰어난 축소 성능을 보였으며 언어 특화 도구와 대등하거나 더 높은 효율성을 입증했습니다.

핵심 포인트

• 의존성 재구성을 통해 프로그램 삭제 시 발생하는 의미론적 불일치 문제를 해결하여 축소 성능을 향상함
• 언어 불가지론적(Language-agnostic) 접근 방식을 취하면서도 언어 특화 도구에 근접하는 성능을 달성
• Perses, WDD, CDD 등 기존 SOTA 구문 가이드 축소기 대비 평균 14.9%~51.9%의 더 높은 축소 효과 제공
• 의존성 재구성을 통해 쿼리 호출을 80.2%, 축소 시간을 58.7% 감소시키는 효율성 확인