논문KCI 등재
단편화된 실행파일을 위한 데이터 구조 역공학 기법
Reverse engineering of data abstractions on fragmented binary code
0
조회
0
다운로드
3
인용
0
참고문헌
키워드
주제분류컴퓨터학
초록
실행파일에 대한 정적인 분석을 통한 역공학 과정은 소프트웨어 보안에서 필수적인 단계이다. 역공학은 크게 소프트웨어가 사용하는 데이터 구조와 제어 구조에 대하여 수행된다. 특히 데이터 역공학은 소프트웨어를 이해하기 위해필수적이지만 기존의 VSA 기법은 단편화된 실행파일에 대한 한계를 가지고 있다. 본 논문에서는 동적인 영역할당을통해 이러한 문제점을 해결하고 데이터 구조 역공학의 성능을 향상시킨다.
Abstract
Reverse engineering via static analysis is an essential step in software security and it focuses on reconstructing code structures and data abstractions. In particular, reverse engineering of data abstractions is critical to understand software but the previous scheme, VSA, is not suitable for applying to fragmented binaries. This paper proposes an enhanced method through dynamic region assignment.
참고문헌 (6)
- Flemming Nielson, "Principles of ProgramAnalysis" (2004), Springer
- G. Balakrishnan, "Analyzingmemory access in x86 executables", Proceedings of International Conferenceon Compiler Construction (CC), pp.5~23 (2004)
- J. Lee, "TIE: Principled Reverse Engineering ofTypes in Binary Programs", Proceedings of Network and Distributed SystemSecurity (NDSS) (2011)
- D. Brumley, "BAP: A Binary AnalysisPlatform", Proceedings of ComputerAided Verification (CAV), pp.463~469 (2011)
- A. Aho, "Compilers: Principles, Techniques, andTools" (2006), Pearson Education Inc
- 김민성, "클라이언트 애플리케이션에서의해킹", 한국정보보호학회논문지, 18(3), pp.48~52 (2008)
관련 논문AI추천
프로그램 분석을 위한 정적분석 기반 역추적 제어흐름그래프 생성 방안 모델김연수, 노봉남, 박성현한국정보보호학회 · 정보보호학회논문지2019 · 제29권 제5호역난독화를 위한 바이너리 프로그램 슬라이싱목성균, 전현구, 조은선한국정보보호학회 · 정보보호학회논문지2017 · 제27권 제1호기호 형태의 값-집합 분석을 이용한 ARM 위치 독립적 코드의 정교한 역어셈블리 기법오희국, 하동수한국정보보호학회 · 정보보호학회논문지2018 · 제28권 제5호바이너리 정적 분석 기반 Out-of-Bounds Read 취약점 유형 탐지 연구김문회, 오희국, 유동민한국정보보호학회 · 정보보호학회논문지2021 · 제31권 제4호동적 분석을 이용한 난독화 된 실행 프로그램의함수 호출 그래프 생성 연구김대엽, 천세범한국전기전자학회 · 전기전자학회논문지2023 · 제27권 제1호목적 코드에서 유사도 검출과 그 도구의 설계유장희한국소프트웨어감정평가학회 · 한국소프트웨어감정평가학회 논문지2020 · 제16권 제2호