바이너리에서 메모리 경계 복구를 통한 Out-of-bounds 취약점 탐지

Abstract

Out-of-bounds 취약점은 매우 빈번하게 발생하는 취약점 중에서 하나이다. 해당 취약점을 탐 지하는 기존의 정적 도구는 소스코드 기반의 도구들이며, 바이너리에서 탐지하는 도구는 찾기 힘들 다. 바이너리 수준의 탐지는 주로 동적 분석을 이용한 도구로 발표되었다. 바이너리에서 Out-of-bounds를 탐지하기 위한 문제점으로는 컴파일 과정에서 버퍼의 경계영역 정보가 누락된다는 것이다. 본 논문에서는 바이너리 코드에서 나타나는 패턴과 주변 정보를 이용하여 메모리 구조를 모 델링하는 방법으로 Heap, Stack, Global 영역의 Out-of-bounds를 탐지하는 방법을 제시한다