[논문 리뷰] Fuzzing: Art, Science, and Engineering.

Valentin J. M. Manès, Hyung-Seok Han외 5명|arXiv (Cornell University)|2018. 12. 01.

Information and Cyber Security인용 수 26

한 줄 요약

이 논문은 현대 패치 퍼지의 예술, 과학, 공학적 통찰을 통합하여 통합 모델과 종합적인 분류 체계를 제시한다. 패치 퍼지의 각 단계에서의 설계 결정을 체계적으로 분석함으로써, 취약성 탐지 분야의 지속적인 연구 및 개발을 통합하고 이끌어내는 일관된 프레임워크를 제공한다.

ABSTRACT

Among the many software vulnerability discovery techniques available today, fuzzing has remained highly popular due to its conceptual simplicity, its low barrier to deployment, and its vast amount of empirical evidence in discovering real-world software vulnerabilities. At a high level, fuzzing refers to a process of repeatedly running a program with generated inputs that may be syntactically or semantically malformed. While researchers and practitioners alike have invested a large and diverse effort towards improving fuzzing in recent years, this surge of work has also made it difficult to gain a comprehensive and coherent view of fuzzing. To help preserve and bring coherence to the vast literature of fuzzing, this paper presents a unified, general-purpose model of fuzzing together with a taxonomy of the current fuzzing literature. We methodically explore the design decisions at every stage of our model fuzzer by surveying the related literature and innovations in the art, science, and engineering that make modern-day fuzzers effective.

연구 동기 및 목표

• 패치 퍼지 문헌의 점증하는 복잡성과 분열을 해결하기 위해 통합적이고 종합적인 프레임워크를 제공하기 위해.
• 패치 퍼지 파이프라인 전 단계에서의 핵심 설계 결정을 식별하고 체계화하기 위해.
• 다양한 혁신을 하나의 일반 목적 모델로 통합하여 이해도 향상과 개발 향상을 위해.
• 소프트웨어 보안 및 패치 퍼지 도구 개발 분야의 연구자와 전문가를 위한 기초 참고 자료로 기능하기 위해.
• 효과적인 패치 퍼지에서 히우리스틱 기법(예술), 실험적 검증(과학), 구현 공학(공학) 간의 상호작용을 명확히 하기 위해.

제안 방법

• 입력 생성, 실행, 피드백 수집, 변형 단계로 분리 가능한 분석 가능한 단계들로 구성된 일반 목적의 패치 퍼저 모델을 제안한다.
• 모델의 각 단계에서의 설계 선택에 기반해 기존 패치 퍼지 기법을 분류하는 분류 체계를 도입한다.
• 예술(히우리스틱 전략), 과학(실험적 평가), 공학(구현 효율성)의 세 가지 차원에서 문헌을 분석한다.
• 유전 알고리즘, 커버리지 유도 변형, 기호적 실행 등의 기존 패치 퍼지 기법들을 제안된 모델과 분류 체계에 매핑한다.
• 체계적인 문헌 리뷰를 통해 입력 생성, 피드백 메커니즘, 변형 전략에서 반복되는 패턴과 혁신을 식별한다.
• 현대 패치 퍼저가 세 가지 차원의 기법을 통합하여 높은 취약성 탐지 비율을 달성하는 방식을 설명한다.

실험 결과

연구 질문

• RQ1 현대 패치 퍼지 기법의 다양한 설계 선택을 표현할 수 있는 통합 모델을 어떻게 구성할 수 있는가?
• RQ2 패치 퍼지 파이프라인의 각 단계에서의 핵심 설계 결정은 무엇이며, 그들이 효과성에 어떻게 영향을 미치는가?
• RQ3 패치 퍼지의 예술, 과학, 공학 차원은 어떻게 상호작용하며, 패치 퍼저의 효과성에 기여하는가?
• RQ4 현재 패치 퍼지 연구의 총서에서 유도할 수 있는 체계적인 분류 체계는 무엇이며, 이는 일관성과 탐색을 어떻게 향상시키는가?
• RQ5 히우리스틱, 실험적, 구현 기법의 통합을 어떻게 형식화하여 향후 패치 퍼저 개발을 이끌 수 있는가?

주요 결과

• 성공적으로 통합된 패치 퍼저 모델이 구축되어 입력 생성, 실행, 피드백, 변형 단계에서의 기존 패치 퍼지 기법을 체계적으로 분류할 수 있게 되었다.
• 분류 체계는 피드백 유도 변형과 커버리지 유도 전략과 같은 설계 선택의 반복 패턴을 드러내었으며, 이는 현대 패치 퍼지에서 지배적인 위치를 차지하고 있다.
• 고성능 패치 퍼지에 있어 히우리스틱 기법(예술), 실험적 검증(과학), 효율적 구현(공학)의 통합은 필수적이다.
• 모델과 분류 체계는 이해를 향상시키고 취약성 탐지 분야의 혁신을 가속화하는 공통 기반 프레임워크를 제공한다.
• 분석 결과 패치 퍼지의 발전은 알고리즘적 진전 외에도 공학적 트레이드오프와 실험적 검증 관행에 깊이 뿌리를 두고 있음을 확인했다.
• 논문은 현재 문헌의 격차를 식별하고 각 차원(예술, 과학, 공학)이 패치 퍼저 설계에서 수행하는 역할을 명확히 함으로써 향후 연구의 기초를 마련했다.