기호 형태의 값-집합 분석을 이용한 ARM 위치 독립적 코드의 정교한 역어셈블리 기법 (A Disassembly Technique of ARM Position-Independent Code with Value-Set Analysis Having Symbol-Form Domain)

서지정보

· 발행기관 : 한국정보보호학회
· 수록지 정보 : 정보보호학회논문지 / 28권 / 5호 / 1233 ~ 1246페이지
· 저자명 : 하동수, 오희국

초록

스마트 모바일의 보급에 따라, 컴퓨터 보안에서 ARM 아키텍처 명령어로 구성된 위치 독립적 코드의 역어셈블리기법이 중요해지고 있다. 그러나 대부분의 기존 기법들은 x86 아키텍처 대상으로 연구되었으며, 위치 종속적 코드의문제 해결과 범용성에 초점이 맞추어져 있다. 따라서, ARM 아키텍처의 고정 길이 명령어와 위치 독립적 코드의 특징이 제대로 반영되지 않아, 바이너리 계측과 같이 바이너리 자체를 직접 수정하는 수준의 고도화된 응용 보안 기술에 적용하기에는 수집되는 주소 정보의 정확도가 낮다. 본 논문에서, 우리는 ARM 명령어로 구성된 위치 독립적인코드의 특성을 반영한 역어셈블리 기법을 제안한다. 정확하고 추적 가능한 주소의 수집을 위해, 도메인이 기호화된값-집합 분석을 설계하였다. 또한, 역어셈블의 주요 문제점을 해결하기 위해, 컴파일러가 생성하는 코드의 특징을 활용한 휴리스틱을 고안하였다. 우리 기법의 정확도와 유효성을 검증하기 위해, 안드로이드 8.1 빌드에 포함된 669개의 공유라이브러리 및 실행 파일을 대상으로 실험하였으며, 그 결과 완전한 역어셈블의 비율이 91.47%로 나왔다.

영어초록

With the proliferation of smart mobiles, disassembly techniques for position-independent code (PIC) composed of ARMarchitecture instructions in computer security are becoming more important. However, existing techniques have been studiedon x86 architecture and are focused on solving problems of non-PIC and generality. Therefore, the accuracy of the collectedaddress information is low to apply to advanced security technologies such as binary measurement. In this paper, wepropose a disassembly technique that reflects the characteristics of PIC composed of ARM instructions. For accuratlycollecting traceable addresses, we designed value-set analysis having symbol-form domain. To solve the main problem ofdisassembly, we devised a heuristic using the characteristics of the code generated by the compiler. To verify the accuracyand effectiveness of our technique, we tested 669 shared libraries and executables in the Android 8.1 build, resulting in atotal disassembly rate of 91.47%.

참고자료

· 없음