WinEco: Windows Time Travel Debugging 기반 Harness 반자동 생성 (WinEco: Semi-automatic Harness Generation based on Windows Time Travel Debugging)

서지정보

· 발행기관 : 한국디지털콘텐츠학회
· 수록지 정보 : 디지털콘텐츠학회논문지 / 25권 / 7호 / 1873 ~ 1881페이지
· 저자명 : 김동준, 손태식

초록

퍼징은 현재 많은 취약점을 찾는 데에 활용되고 있는 기술이다. 그동안의 퍼징 커뮤니티는 AFL (American Fuzzy Lop)을 기반으로 하여 Unix 기반 시스템에 적합한 방향으로 많이 발전되었다. 하지만 그동안의 연구를 윈도우 애플리케이션에 적용하는 데는 많은 어려움이 존재한다. 두 시스템의 가장 큰 차이는 harness 프로그램의 작성 여부로, 이는 분석가의 큰 노력이 필요하며 필연적으로 False Positive나 False Negative가 존재할 수밖에 없다. 본 연구에서는 윈도우의 TTD (Time Travel Debugging) 기술을 기반으로 harness를 반자동 생성할 수 있는 프레임워크인 WinEco를 제안한다. WinEco는 프로그램의 코드 흐름, 데이터 흐름, 의존성 등을 분석하여 퍼징에 최적화된 harness를 생성한다. WinEco의 정당성을 검증하기 위해 총 3개의 윈도우 상용 소프트웨어를 대상으로 harness를 생성하였고, WinAFL에 적용해 본 결과 총 10개의 Unique 버그를 찾았다.

영어초록

Fuzzing has emerged as a common technique for identifying vulnerabilities. Historically, fuzzing has evolved significantly based on AFL predominantly for Unix-based systems. However, applying these research advancements to Windows applications presents substantial challenges. The primary difference between the two systems lies in the creation of harness programs, which demands significant effort from analysts and inevitably leads to false positives or false negatives. In this study, we propose WinEco, a framework that automates the generation of harnesses based on time travel debugging in Windows. WinEco analyzes program code flow, data flow, and dependencies to create harnesses optimized for fuzzing. To validate WinEco's effectiveness, harnesses were generated for three Windows applications, and subsequent testing with WinAFL revealed a total of 10 unique bugs.

참고자료

· 없음