1부 리버싱 101 <br/><br/>1장 기초 <br/> 리버스 엔지니어링 <br/> 소프트웨어 리버스 엔지니어링: 리버싱 <br/> 리버싱 적용 <br/>- 보안 관련 리버싱 <br/>-- 악성코드 소프트웨어 <br/>-- 암호 알고리즘 리버싱 <br/>-- 디지털 저작권 관리 <br/>-- 프로그램 바이너리 감사 <br/>- 소프트웨어 개발에서의 리버싱 <br/>-- 소프트웨어 간의 상호 운용 <br/>-- 경쟁 제품 분석 <br/>-- 소프트웨어의 품질과 안정성 측정 <br/> 로우레벨 소프트웨어 <br/>- 어셈블리 언어 <br/>- 컴파일러 <br/>- 가상 머신과 바이트 코드 <br/>- 운영체제 <br/> 리버싱 절차 <br/>- 시스템 레벨 리버싱 <br/>- 코드 레벨 리버싱 <br/> 사용 툴 <br/>- 시스템 모니터링 툴 <br/>- 디스어셈블러 <br/>- 디버거 <br/>- 디컴파일러 <br/> 리버싱은 합법적인 작업인가 <br/>- 상호 운용성 <br/>- 경쟁 <br/>- 저작권법 <br/>- 영업 비밀과 특허권 <br/>- 디지털 밀레니엄 저작권법 <br/>- DMCA 사례 <br/>- 사용권 계약 <br/> 예제 코드와 툴 <br/> 정리 <br/><br/>2장 로우레벨 소프트웨어 <br/> 하이레벨 관점 <br/>- 프로그램 구조 <br/>-- 모듈 <br/>-- 공통 구성 요소 <br/>- 데이터 처리 <br/>-- 변수 <br/>-- 사용자 정의 데이터 구조체 <br/>-- 리스트 <br/>- 제어 흐름 <br/>- 하이레벨 언어 <br/>-- C <br/>-- C++ <br/>-- 자바 <br/>-- C# <br/> 로우레벨 관점 <br/>- 로우레벨 데이터 처리 <br/>-- 레지스터 <br/>-- 스택 <br/>-- 힙 <br/>-- 실행 데이터 섹션 <br/>- 제어 흐름 <br/> 어셈블리 언어 입문 <br/>- 레지스터 <br/>- 플래그 <br/>- 명령 포맷 <br/>- 기본 명령 <br/>-- 데이터 이동 <br/>-- 산술 연산 <br/>-- 비교 연산 <br/>-- 조건 분기 <br/>-- 함수 호출 <br/>- 코드 예 <br/> 컴파일러 기초 <br/>- 컴파일러란 <br/>- 컴파일러 아키텍처 <br/>-- 프런트엔드 <br/>-- 중간 표현 <br/>-- 최적화기 <br/>-- 백엔드 <br/>- 리스팅 파일 <br/>- 사용 컴파일러 <br/> 실행 환경 <br/>- 소프트웨어 실행 환경(가상 머신) <br/>-- 바이트 코드 <br/>-- 인터프리터 <br/>-- Just-in-Time 컴파일러 <br/>-- 리버싱 전략 <br/>- 최신 프로세서에서의 하드웨어 실행 환경 <br/>-- Intel NetBurst <br/>-- μops(Micro-Ops) <br/>-- 파이프라인 <br/>-- 분기 예측 <br/> 정리 <br/><br/>3장 윈도우 기초 <br/> 컴포넌트와 기본 아키텍처 <br/>- 간략한 역사 <br/>- 특징 <br/>- 지원 하드웨어 <br/> 메모리 관리 <br/>- 가상 메모리와 페이징 <br/>-- 페이징 <br/>-- 페이지 폴트 <br/>- 워킹 셋 <br/>- 커널 메모리와 유저 메모리 <br/>- 커널 모드 공간 <br/>- 섹션 객체 <br/>- VAD 트리 <br/>- 유저 모드 메모리 할당 <br/>- 메모리 관리 API <br/> 객체와 핸들 <br/>- 네임드 객체 <br/> 프로세스와 스레드 <br/>- 프로세스 <br/>- 스레드 <br/>- 컨텍스트 스위칭 <br/>- 동기화 객체 <br/>- 프로세스 초기화 과정 <br/> 애플리케이션 프로그래밍 인터페이스 <br/>- Win32 API <br/>- 네이티브 API <br/>- 시스템 콜 메커니즘 <br/> 실행 포맷 <br/>- 기본 개념 <br/>- 이미지 섹션 <br/>- 섹션 정렬 <br/>- 동적 링크 라이브러리 <br/>- 헤더 <br/>- 임포트와 익스포트 <br/>- 디렉터리 <br/> 입력과 출력 <br/>- I/O 시스템 <br/>- Win32 서브시스템 <br/>-- 객체 관리자 <br/> 구조화된 예외 처리 <br/> 정리 <br/><br/>4장 리버싱 툴 <br/> 다양한 리버싱 방법 <br/>- 오프라인 코드 분석(Dead-Listing) <br/>- 라이브 코드 분석 <br/> 디스어셈블러 <br/>- IDA Pro <br/>- ILDasm <br/> 디버거 <br/>- 유저 모드 디버거 <br/>-- OllyDbg <br/>-- WinDbg를 이용한 유저 모드 디버깅 <br/>-- IDA Pro <br/>-- PEBrowse Professional Interactive <br/>- 커널 모드 디버거 <br/>-- WinDbg를 이용한 커널 모드 디버깅 <br/>-- Numega SoftICE <br/>-- 가상 머신에서의 커널 디버깅 <br/> 디컴파일러 <br/> 시스템 모니터링 툴 <br/> 패치 툴 <br/>- Hex Workshop <br/> 기타 리버싱 툴 <br/>- 실행 이미지 덤프 툴 <br/>-- DUMPBIN <br/>-- PEView <br/>-- PEBrowse Professional <br/> 정리 <br/><br/>2부 리버싱 응용 <br/><br/>5장 리버싱 실전 <br/> 리버싱과 상호운용성 <br/> 기본 원칙 <br/> 문서화되지 않은 API를 찾는 방법 <br/>- 찾고자 하는 것 <br/> 사례 연구: NTDLL.DLL의 Generic Table API <br/>- RtlInitializeGenericTable <br/>- RtlNumberGenericTableElements <br/>- RtlIsGenericTableEmpty <br/>- RtlGetElementGenericTable <br/>-- 셋업과 초기화 <br/>-- 로직과 구조 <br/>-- 검색 루프 1 <br/>-- 검색 루프 2 <br/>-- 검색 루프 3 <br/>-- 검색 루프 4 <br/>-- 소스코드 추출 <br/>- RtlInsertElementGenericTable <br/>-- RtlLocateNodeGenericTable <br/>-- RtlRealInsertElementWorker <br/>-- Splay 트리 <br/>- RtlLookupElementGenericTable <br/>- RtlDeleteElementGenericTable <br/>- 분석한 내용 종합 <br/> 정리 <br/><br/>6장 파일 포맷 분석 <br/> Cryptex <br/> Cryptex 사용 <br/> Cryptex 리버싱 <br/> 패스워드 검증 과정 <br/>- "Bad Password" 메시지 잡아내기 <br/>- 패스워드 변환 알고리즘 <br/>- 패스워드 해싱 <br/> 디렉터리 구조 <br/>- 디렉터리 처리 코드 분석 <br/>- 파일 엔트리 분석 <br/> 디렉터리 구조 덤프 <br/> 파일 추출 과정 <br/>- 파일 목록 검색 <br/>- 파일 복호화 <br/>- 부동소수점 연산 <br/>- 복호화 루프 <br/>- 해시 값 검증 <br/> 정리 <br/> 좀 더 자세히 <br/> 결론 <br/><br/>7장 프로그램 바이너리 감사 <br/> 문제점 정의 <br/> 보안 취약점 <br/>- 스택 오버플로우 <br/>-- 간단한 스택 보안 취약점 <br/>-- 내부 구현 <br/>-- 스택 검사 <br/>-- 비실행 가능 메모리 <br/>- 힙 오버플로우 <br/>- 문자열 필터 <br/>- 정수 오버플로우 <br/>-- 사용자 입력 정수에 대한 산술 연산 <br/>- 형 변환 에러 <br/> 사례: IIS 인덱싱 서비스 보안 취약점 <br/>- CVariableSet::AddExtensionControlBlock <br/>- DecodeURLEscapes <br/> 정리 <br/><br/>8장 악성코드 리버싱 <br/> 악성코드의 종류 <br/>- 바이러스 <br/>- 웜 <br/>- 트로이 목마 <br/>- 백도어 <br/>- 모바일 코드 <br/>- 애드웨어/스파이웨어 <br/> 스틱키 소프트웨어 <br/> 미래의 악성코드 <br/>- 정보 탈취 웜 <br/>- 바이오스/펌웨어 악성코드 <br/> 악성코드의 목적 <br/> 악성코드 취약점 <br/> 다형성 <br/> 변종 <br/> 안전한 리버싱 환경 구축 <br/> Backdoor.Hacarmy.D <br/>- 실행 파일 언패킹 <br/>- 최초 실행 <br/>- 설치 <br/>- 네트워크 연결 <br/>- 서버에 연결 <br/>- 채널에 접속 <br/>- 백도어와 통신 <br/>- SOCKS4 서버 실행 <br/>- 자체 제거 <br/> Backdoor.Hacarmy.D: 명령 레퍼런스 <br/> 정리 <br/><br/>3부 크래킹 <br/><br/>9장 저작권 침해와 불법 복사 방지 <br/> 저작권 <br/> 사회적 측면 <br/> 소프트웨어 저작권 침해 <br/>- 문제 정의 <br/>- 보안 결함 <br/>- 필요 조건 <br/>- 이론적으로 크랙이 불가능한 모델 <br/> 보호 유형 <br/>- 매체 기반 보호 <br/>- 시리얼 번호 <br/>- 질의 응답과 온라인 인증 <br/>- 하드웨어 기반의 보호 <br/>- 서비스로서의 소프트웨어 <br/> 진보된 보호 개념 <br/>- 크립토 프로세서 <br/> 디지털 저작권 관리 <br/>- DRM 모델 <br/>-- 윈도우 미디어 저작권 관리자 <br/>-- 시큐어 오디오 패스 <br/> 워터 마크 <br/> 신뢰 컴퓨팅 <br/> 복사 방지 기술 공격 <br/> 정리 <br/><br/>10장 안티 리버싱 기술 <br/> 안티 리버싱이 필요한 이유 <br/> 기본적인 안티 리버싱 방법 <br/> 심볼 정보 제거 <br/> 코드 암호화 <br/> 안티 디버거 기술 <br/>- 디버거 기본 <br/>- IsDebuggerPresent API <br/>- SystemKernelDebuggerInformation <br/>- 싱글 스텝 인터럽트를 이용한 SoftICE 탐지 <br/>- 트랩 플래그 <br/>- 코드 체크섬 <br/> 안티 디스어셈블러 <br/>- 선형 스윕 디스어셈블러 <br/>- Recursive Traversal 디스어셈블러 <br/>- 적용 <br/> 코드 난독화 <br/> 제어 흐름 변환 <br/>- Opaque Predicates <br/>- 안티 디컴파일러 <br/>- Table Interpretation <br/>- 인라인닝과 아웃라이닝 <br/>- 인터리빙 코드 <br/>- 순서 변환 <br/> 데이터 변환 <br/>- 변수 인코딩 <br/>- 배열 재구성 <br/> 정리 <br/><br/>11장 보호 기술 파괴 <br/> 패치 <br/> Keygen <br/> 키 생성 알고리즘 추출 <br/> 고급 크래킹: Defender <br/>- Defender의 초기화 루틴 리버싱 <br/>- 복호화된 코드 분석 <br/>- 사라진 SoftICE <br/>- 스레드 리버싱 <br/>- "Killer" 스레드 무력화 <br/>- KERNEL32.DLL 로딩 <br/>- 함수 재암호화 <br/>- 엔트리 포인트로 다시 돌아가서 <br/>- 프로그램 파라미터 파싱 <br/>- 사용자 이름 처리 <br/>- 사용자 정보 검증 <br/>- 코드 복호화 <br/>- Defender에 대한 무작위 대입 <br/> Defender의 보호 기술 <br/>- 함수 레벨의 암호화 <br/>-- 상대적으로 강력한 암호 블록 체인 <br/>-- 재 암호화 <br/>- 애플리케이션/운영체제와의 인터페이스 난독화 <br/>- 프로세서 타임 스탬프 검증 스레드 <br/>- 실행 시에 복호화 키 생성 <br/>-- 상호 의존 키 <br/>-- 사용자 입력 기반의 복호화 키 <br/>- 인라이닝 <br/> 정리 <br/><br/>4부 디스어셈블리 너머 <br/><br/>12장 닷넷 리버싱 <br/> 기반 지식 <br/> 닷넷 기본 <br/>- 매니지드 코드 <br/>- 닷넷 프로그래밍 언어 <br/>- 공통 타입 시스템 <br/> 중간 언어 <br/>- 평가 스택 <br/>- 활성화 레코드 <br/>- IL 명령 <br/>- IL 코드 샘플 <br/>-- Counting Items <br/>-- 링크드 리스트 샘플 <br/> 디컴파일러 <br/> 난독기 <br/>- 심볼 이름 변경 <br/>- 제어 흐름 변경 <br/>- 디컴파일과 디스어셈블리 차단 <br/> 난독화된 코드 리버싱 <br/>- XenoCode <br/>- Preemptive Solutions의 DotFuscator <br/>- Remotesoft 난독기와 링커 <br/>- Remotesoft Protector <br/>- 어셈블리 프리컴파일 <br/>- 어셈블리 암호화 <br/> 정리 <br/><br/>13장 디컴파일 <br/> 네이티브 코드 디컴파일 <br/> 전형적인 디컴파일러의 구조 <br/> 중간 표현 <br/>- 표현식과 표현식 트리 <br/>- 제어 흐름 그래프 <br/> 프론트엔드 <br/>- 의미 분석 <br/>- 제어 흐름 그래프 생성 <br/> 코드 분석 <br/>- 데이터 흐름 분석 <br/>-- 단일 정적 할당 <br/>-- 데이터 전달 <br/>-- 레지스터 변수 구별 <br/>-- 데이터 타입 전달 <br/>- 타입 분석 <br/>-- 기본 데이터 타입 <br/>-- 복잡한 데이터 타입 <br/>- 제어 흐름 분석 <br/>- 라이브러리 함수의 구별 <br/> 백엔드 <br/> 실제 IA-32 디컴파일러 <br/> 정리 <br/><br/>부록 A 코드 구조 해석 <br/>부록 B 컴파일된 연산의 이해 <br/>부록 C 프로그램 데이터 해석 <br/>부록 D 인용문

소프트웨어를 해부해서 설계와 구현 내용, 심지어 소스코드까지도 알아낼 수 있어서 최근 보안업계의 화두로 떠오른 리버싱. 복제방지기술 무력화와 상용보안대책 무력화로 무장한 해커들의 리버싱 공격 패턴을 파악하기 위한 최신 기술을 담은 해킹 보안 업계 종사자의 필독서. 소프트웨어의 약점을 찾아내 보완하고, 해커의 공격이나 악성코드를 무력화하며, 더 좋은 프로그램을 개발할 수 있도록 프로그램의 동작 원리를 이해하는 데도 효율적인 리버스 엔지니어링의 비밀을 파헤친다.

■ IA-32 호환 프로세서용 컴파일러가 만든 어셈블리 언어 코드를 읽는 방법
■ 문서화되지 않은 파일 포맷이나 네트워크 프로토콜 해석
■ 리버스 엔지니어링이 합법인 경우와 불법인 경우, 그리고 불법일 때의 이유
■ 리버싱을 활용해 해커가 복사 방지 기술을 무력화하는 방법
■ 리버스 엔지니어링을 적용해 악성코드를 무력화하는 방법
■ 코드 리버싱을 막는 방어책과 효과적인 수행 방법
■ 닷넷 플랫폼 리버싱과 어셈블리 언어인 MSIL
■ 실제 악성코드 프로그램 분석 방법
■ 악성코드 프로그램을 이용해 공격자가 감염된 시스템 제어권을 획득하는 과정

이 책은 크게 4부로 나뉘어 있다. 1부는 이 책 전반을 이해하는 데 필요한 기본 내용을 제공하고, 2부에서 4부까지는 각각 리버스 엔지니어링 시나리오와 실례를 설명한다.

■ 1부. 리버싱 입문: 이 책은 로우레벨 소프트웨어를 이해하는 데 필요한 모든 기본적인 내용에 대한 논의로 시작한다. 알다시피 1부에서 모든 내용을 다루는 것은 불가능하다. 다만 이미 알고 있는 내용을 다시 되새겨주는 기회가 될 것이다. 1부를 읽으며 내용이 생소하다고 느껴지는 독자라면 이 책은 적합한 책이 아니다. 1부에서 주로 다루는 주제는 다음과 같다. 리버스 엔지니어링 소개와 다양한 적용 분야(1장), 로우레벨 소프트웨어 개념(2장), 마이크로소프트 운영체제의 내부(3장). 이런 주제와 일반적인 로우레벨 소프트웨어를 많이 접해 봤다면 1~3장은 굳이 읽지 않고 건너 뛰어도 된다. 4장은 다양한 타입의 리버스 엔지니어링 툴을 소개하고, 다양한 상황에서 적절히 사용할 수 있는 특별한 형태의 툴을 설명한다. 이 책에서는 전반에 걸쳐, 리버스 엔지니어링에 사용되는 갖가지 툴을 설명한다.

■ 2부. 리버싱 실전: 2부에서는 실제 소프트웨어에 대한 실제적인 리버스 엔지니어링 프로젝트를 수행한다. 각 장마다 다양한 종류의 애플리케이션에 대한 리버스 엔지니어링을 설명한다. 5장에서는 윈도우 내부 서비스와 API를 좀 더 잘 사용할 수 있도록 운영체제나 다른 업체의 라이브러리를 리버스 엔지니어링하는 방법을 알려준다. 6장에서는 데이터 리버스 엔지니어링 기술을 적용해서 문서화되지 않은 파일 포맷을 해석하는 방법을 설명한다. 7장에서는 리버스 엔지니어링 기술을 사용해 실행 바이너리에서 보안 취약점을 발견해내는 방법을 배워본다. 마지막으로 8장에서는 바이러스나 웜과 같은 악성코드 소프트웨어를 설명한다. 8장에서는 실제 악성코드 프로그램을 리버스 엔지니어링 해본다. 이는 악성코드 프로그램을 연구하고 위험성을 평가하기 위해 반드시 필요한 작업이다.

■ 3부. 크래킹: 3부에서는 복사 방지와 디지털 저작권 관리(DRM) 기술과 같은 특정한 형태의 보안 관련 코드에 대한 리버스 엔지니어링에 초점을 맞춘다. 9장에서는 복사 방지 기술의 일반적인 원리를 소개하고, 10장에서는 복사 방지와 DRM 기술과 같은 안티 리버스 엔지니어링 기술들을 설명하며 그 기술의 유효성을 평가할 것이다. 11장에서는 크래커가 복사 방지 메커니즘을 무력화해서 복사 방지된 컨텐츠를 훔치기 위해 리버스 엔지니어링을 어떻게 이용하는지 알아본다.

■ 4부. 고급 디스어셈블리: 4부에서는 실행 프로그램의 디스어셈블리 이외 부분을 다룬다. 12장에서는 마이크로소프트 닷넷 기반 플랫폼에서 작성된 가상 머신 기반의 프로그램을 리버스 엔지니어링하는 과정을 설명한다. 또한 닷넷 플래폼을 소개하고 그것의 로우레벨 어셈블리 언어인 MSIL(Microsoft Intermediate Language)도 설명한다. 13장에서는 디컴파일의 이론적인 설명과 그것이 어떻게 작동하는지, 네이티브 어셈블리 언어 코드를 디컴파일하는 것이 왜 그렇게 어려운 것인지 설명한다.

■ 부록: 인텔 IA-32 어셈블리 언어로 작성된 프로그램을 해석하는 데 도움이 될 수 있는 내용을 부록으로 다룬다. 단순한 어셈블리 언어의 레퍼런스 가이드를 넘어서 이 책이 제공하는 부록에서는 많이 사용되고 있는 컴파일러에 의해 제거된 컴파일러의 표현 방법과 코드, 그들을 구별하고 해석하는 방법을 설명한다.

이 책은 여러 분야에 종사하는 사람들에게 도움이 되는 기술을 다양하게 다룬다. 운영체제, 어셈블리 언어, 컴파일 같은 소프트웨어의 다양한 로우레벨 측면을 알고 싶어 하는 소프트웨어 개발자는 특히 더 유용한 정보를 많이 찾을 수 있을 것이다. 운영체제나 소프트웨어 라이브러리, 특정 소프트웨어 컴포넌트 등 기존 코드를 빠르고 효과적으로 분석할 수 있는 기술을 향상시키려는 사람에게도 유용할 것이다. 이외에도 이 책은 보안이나 저작권 제어 등과 같은 다양한 주제도 들어 있으므로, 리버스 엔지니어링에 특별한 관심이 없더라도 이 책이 다루는 다양한 주제에서 흥미로운 내용을 찾을 수 있을 것이다.

이 책을 읽기 전 선수 지식을 제공하기 위해 나는 비교적 최신의 기술 사항들을 가능한 한 모두 다루려고 노력했다. 따라서 1부는 이 책을 읽는 데 꼭 필요한 기본 지식을 설명하면서 시작한다. 하지만 이 책에서 정말로 많은 것을 얻기 원하는 독자라면 어느 정도의 소프트웨어 개발 경험이나 지식은 갖추는 편이 좋다. 전문적인 소프트웨어 개발 경험은 전혀 없지만 현재 컴퓨터 공학을 전공하는 학생이라면 이 책을 읽는 데 큰 문제는 없을 것이다. 반대로 컴퓨터를 전공한 적은 없지만 수년간 프로그래밍 작업을 수행해 온 사람이라면 이 책에서 더 많은 내용을 배울 수 있을 것이다.

마지막으로 이 책은 로우레벨 소프트웨어와 리버스 엔지니어링 경험이 이미 있는 사람 중에서 흥미로운 고급 기술을 배우길 원하거나 기존 코드에서 상세한 정보를 추출하는 방법을 알고자 하는 사람들에게 도움이 많이 될 것이다.