OverrideFuzz: 스크립트 런타임 취약점을 위한 의미론 인지 문법 퍼징 (Semantic-Aware Grammar Fuzzing)

요약

OverrideFuzz는 Python, Lua, JavaScript와 같은 스크립트 언어 런타임의 취약점을 탐지하기 위해 설계된 2단계 의미론 인지 문법 퍼저입니다. 이 퍼저는 선언 단계에서 오버라이드 메서드를 가진 객체를 구축하고, 실행 단계에서 해당 훅을 통해 경로가 지정되는 연산을 생성합니다. 능동적/수동적 리플렉션 기법을 활용하여 API 명세 없이도 의미론적 정확성을 확보하며, CPython, Lua, QuickJS 등 다양한 런타임에서 효과적인 커버리지 증가를 입증했습니다.

핵심 포인트

• OverrideFuzz는 스크립트 언어의 복잡한 동작(오버라이드 훅, 동적 재바인딩 등)을 모델링하여 취약점을 탐지합니다.
• 2단계 접근 방식을 통해 객체 구축(선언 단계)과 연산 생성(실행 단계)을 분리하여 의미론적 정확성을 높입니다.
• 능동적/수동적 리플렉션을 결합하여 API 명세 없이도 런타임 타입 추적 및 유효성 검사를 수행합니다.
• CPython, Lua, QuickJS 등 다양한 스크립트 런타임에서 효과적인 커버리지 증가를 보였으며, 특히 Lua의 메타메서드 디스패치에 강점을 보였습니다.