정량적 심볼릭 패치 영향 분석

요약

본 연구는 기존의 동치성 검사가 제공하지 못하는 패치 영향의 정량적 정보를 제공하기 위해 '정량적 부분 동치 분석' 기법을 제안합니다. 심볼릭 분석을 통해 원본 코드와 패치된 코드 사이의 행동적 차이를 식별하고, 입력 도메인 전반에 걸친 행동적 발산 정도를 측정하여 패치의 영향을 정교하게 평가합니다.

핵심 포인트

• 전통적인 동치성 검사의 한계를 극복하기 위해 행동적 차이를 정량화하는 새로운 접근 방식 도입
• 심볼릭 분석을 활용하여 두 프로그램의 행동이 달라지는 구체적인 입력 조건을 식별
• 수치 도메인 분석의 효율성을 높이기 위해 건전한 하한선을 제공하는 범위 기반 탐색 휴리스틱 제안
• Linux, Qemu, FFmpeg 등 실제 오픈 소스 프로젝트의 CVE 패치와 Juliet Test Suite를 통한 유효성 검증 완료
• EqBench 벤치마크 실험을 통해 기존에 동치로 잘못 분류된 프로그램 쌍을 발견하고 차이점을 식별함