Effective Path-target Directed Greybox Fuzzing with Recursive Search Strategy

본 논문은 실행경로 목표를 효과적으로 달성하기 위한 목표 지향 퍼징(path target-directed fuzzing) 기법을 제안하고, 이를 AFL++ 기반으로 구현하여 그 효용성을 확인할 결과를 소개한다. 개별 코드 위치를 목표로 동작하는 통상적인 지향 퍼징과 달리, 실행경로 목표 지향 퍼징은 하나의 실행경로에 해당하는 여러 코드 위치를 모두 도달하는 테스트 입력의 생성을 목표로 한다. 실행경로 목표를 효과적으로 달성하기 위해, 본 논문은 탐험적 탐색과 집중적 탐색을 교차적으로 수행하는 재귀적 퍼징 탐색 기법을 제안한다. 세 개의 오픈 소스 C/C++ 프로그램을 대상으로 한 실험에서, 제안한 기법은 AFL++보다 평균 78%p 높은 실행경로 목표 달성을 보였으며, 시간 비용은 0.57배로 줄었음을 보였다.