지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- 오희국
- 발행연도
- 2022
- 저작권
- 한양대학교 논문은 저작권에 의해 보호받습니다.
이용수5
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
일반적으로 프로그램에서 취약점이 발생하면 그에 대한 정보가 문서화되어 공개된
다. 그러나 일부 취약점의 경우 발생한 원인과 그 소스코드를 공개하지 않는다. 이러
한 정보가 없는 상황에서 취약점을 찾기 위해서는 바이너리 수준에서 코드를 분석해
야 한다. 바이너리에서 취약점을 탐지하는 방법은 동적 분석과 정적분석으로 구분할
수 있다. 동적 분석 방법은 프로그램 실행 정보를 바탕으로 탐지하는 방법이다. 실제
프로그램의 실행정보를 바탕으로 취약점을 정확하게 탐지할 수 있지만, 실행파일의
크기가 커질수록 모든 코드 경로를 탐색하지 못할 가능성이 존재한다. 그와 반대로
정적 분석 방법의 경우 코드를 기반으로 탐지하기 때문에 모든 경로에 대한 분석이
가능하지만, 동적인 실행 정보가 없기 때문에 오탐 가능성이 높다. 따라서 동적, 정적
분석 방법이 모두 적절하게 활용되어야 한다. 본 논문에서는 매우 빈번하게 발생하는
취약점인 Out-of-bounds Read 취약점 유형을 바이너리 수준에서 찾는 것을 목표로
한다. 그러나 바이너리에서 Out-of-bounds Read를 탐지하는 기존의 연구는 주로 동
적 분석을 이용한 도구로 발표되었으며, 정적 도구의 경우 모두 소스코드 기반의 도
구들이며 바이너리 수준의 정적 탐지 도구는 찾기 어렵다. 바이너리에서는 컴파일 과
정에서 소스코드의 일부 정보가 누락되기 때문에 소스코드 기반의 탐지 방법을 적용
해서는 바이너리에서 취약점을 탐지하기 어렵다. 또한 Out-of-bounds Read가 발생할
수 있는 메모리 영역은 Heap, Stack, Global 세 영역에서 모두 발생할 수 있다. 퍼징
을 제외한 Out-of-bounds Read를 탐지하는 기존의 동적 도구의 경우 Heap영역에 있
는 취약점만을 탐지하고 있어 개선이 필요하며, 퍼징의 경우 무작위 입력값을 기반으
로 취약점을 탐지하는 방식이기 때문에 시멘틱한 취약점의 경우 찾을 수 없는 경우가
존재한다. 본 논문에서는 동적 분석이 아닌 바이너리 정적 분석을 통해 취약점을 탐
지하는 것을 목표로 하며, 바이너리 코드의 메모리정보와 주변정보를 이용하여 메모
리 구조를 모델링하는 방법으로 Heap, Stack, Global 영역에서 Out-of-bounds Read
가 발생하는지 탐지한다. 또한 바이너리는 다양한 아키텍처가 존재하기 때문에 이를
위해 본 논문에서는 이기종의 아키텍처에도 적용할 수 있는 중간언어 기반의 분석기
술을 사용한다. 실험 결과 기존의 Heap영역만을 탐지하는 기호실행 탐지도구인
BAP_toolkit과 비교하였을 때 패턴분석을 기반으로 모든 메모리 영역을 분석하는 본
논문의 도구가 탐지 정확도 및 분석 시간에서 의미 있는 결과를 얻었다.
다. 그러나 일부 취약점의 경우 발생한 원인과 그 소스코드를 공개하지 않는다. 이러
한 정보가 없는 상황에서 취약점을 찾기 위해서는 바이너리 수준에서 코드를 분석해
야 한다. 바이너리에서 취약점을 탐지하는 방법은 동적 분석과 정적분석으로 구분할
수 있다. 동적 분석 방법은 프로그램 실행 정보를 바탕으로 탐지하는 방법이다. 실제
프로그램의 실행정보를 바탕으로 취약점을 정확하게 탐지할 수 있지만, 실행파일의
크기가 커질수록 모든 코드 경로를 탐색하지 못할 가능성이 존재한다. 그와 반대로
정적 분석 방법의 경우 코드를 기반으로 탐지하기 때문에 모든 경로에 대한 분석이
가능하지만, 동적인 실행 정보가 없기 때문에 오탐 가능성이 높다. 따라서 동적, 정적
분석 방법이 모두 적절하게 활용되어야 한다. 본 논문에서는 매우 빈번하게 발생하는
취약점인 Out-of-bounds Read 취약점 유형을 바이너리 수준에서 찾는 것을 목표로
한다. 그러나 바이너리에서 Out-of-bounds Read를 탐지하는 기존의 연구는 주로 동
적 분석을 이용한 도구로 발표되었으며, 정적 도구의 경우 모두 소스코드 기반의 도
구들이며 바이너리 수준의 정적 탐지 도구는 찾기 어렵다. 바이너리에서는 컴파일 과
정에서 소스코드의 일부 정보가 누락되기 때문에 소스코드 기반의 탐지 방법을 적용
해서는 바이너리에서 취약점을 탐지하기 어렵다. 또한 Out-of-bounds Read가 발생할
수 있는 메모리 영역은 Heap, Stack, Global 세 영역에서 모두 발생할 수 있다. 퍼징
을 제외한 Out-of-bounds Read를 탐지하는 기존의 동적 도구의 경우 Heap영역에 있
는 취약점만을 탐지하고 있어 개선이 필요하며, 퍼징의 경우 무작위 입력값을 기반으
로 취약점을 탐지하는 방식이기 때문에 시멘틱한 취약점의 경우 찾을 수 없는 경우가
존재한다. 본 논문에서는 동적 분석이 아닌 바이너리 정적 분석을 통해 취약점을 탐
지하는 것을 목표로 하며, 바이너리 코드의 메모리정보와 주변정보를 이용하여 메모
리 구조를 모델링하는 방법으로 Heap, Stack, Global 영역에서 Out-of-bounds Read
가 발생하는지 탐지한다. 또한 바이너리는 다양한 아키텍처가 존재하기 때문에 이를
위해 본 논문에서는 이기종의 아키텍처에도 적용할 수 있는 중간언어 기반의 분석기
술을 사용한다. 실험 결과 기존의 Heap영역만을 탐지하는 기호실행 탐지도구인
BAP_toolkit과 비교하였을 때 패턴분석을 기반으로 모든 메모리 영역을 분석하는 본
논문의 도구가 탐지 정확도 및 분석 시간에서 의미 있는 결과를 얻었다.
목차
제 1장 서론 11.1 연구의 필요성 11.2 연구의 목표 11.3 연구 방법 21.4 연구 문제점 3제 2장 관련 연구 42.1 기존 연구 42.1.1 Dynamic Binary Instrumentation 42.1.2 Symbolic Excution 52.1.3 Fuzzing 62.2 기존 도구의 문제점 62.3 Stack 메모리 복구 72.4 중간언어표현을 활용한 바이너리 분석 72.4.1 Binary Analysis Platform 82.4.2 Primus 122.5 CWE-125: Out-of-bounds Read 13제 3장 제안 방법 153.1 Stack 구조 복구 153.2 버퍼의 크기 정보 수집 173.2.1 Stack에서 크기 정보 식별 183.2.2 Heap에서 크기 정보 식별 193.2.3 Global에서 크기 정보 식별 203.2.4 Dereference에서 크기 정보 식별 203.3 취약점 탐지 223.3.1 Buffer Under Read 탐지 233.3.2 Buffer Over Read 탐지 23제 4장 실험 244.1 실험 결과 24제 5장 결론 26참고문헌 27ABSTRACT 30
최근 본 자료
댓글(0)
0