<해킹: 공격의 예술> 2회차 스터디

<해킹: 공격의 예술> 책을 보고 공부한 내용입니다
X86 프로세서를 기준으로 합니다.

메모리 세그먼트

컴파일된 프로그램 메모리는 코드, 데이터, bss, 힙, 스택의 5개의 세그먼트로 나뉜다. 

 

코드

프로그램의 기계어 명령이 들어있음  프로그램이 실행되면 EIP는 코드 세그먼트의 맨 처음 위치로 설정된다. 

그리고 프로세스는 다음 작업을 반복 실행한다. 

1. EIP가 가리키고 있는 명령을 읽는다. 

2. 그 명령의 길이를 EIP에 더한다. 

3. 1단계에서 읽은 명령을 수행한다. 

4. 1단계로 돌아간다. 

- 코드 세그먼트는 변수가 아닌 코드만을 저장하고 있으므로 쓰기가 금지되어있다. (사용자가 프로그램 코드를 변경하지 못하게 막기 위함) 

코드 세그먼트에 쓰려는 시도가 있을 경우 운영체제가 그 사실을 사용자에게 알리고 프로그램은 종료됨 

- 텍스트 세그먼트는 바뀌는 것이 없으므로 크기가 고정돼 있다. 

 

 

데이터와 bss 

- 전역 변수와 정적 프로그램 변수를 저장

- 데이터 세그먼트 : 초기화된 전역 변수와 정적 변수 저장 

- bss 세그먼트 : 초기화되지 않은 전역 변수와 정적 변수 저장 

- 두 세그먼트 모두 쓰기 가능하지만 크기는 고정돼있음 

- 함수 컨텍스트에 관계없이 전역 변수는 일정하다. (전역 변수와 정적 변수는 모두 자신만의 메모리 세그먼트에 저장되므로 일정하게 유지) 

 

힙 

- 프로그래머가 직접 접근할 수 있는 메모리 세그먼트

- 크기가 고정되어있지 않음 (필요에 따라 크기 커지거나 작아짐)

- 메모리 블록을 할당해 사용

- 할당과 해제 알고리즘에 의해 관리됨 

- 프로그래머가 실행 중에 힙 할당 함수를 사용해 메모리를 예약하고 취소 

 

스택

- 크기 가변적, 지역 함수 변수 저장하고 함수 호출 시의 임시 컨텍스트 저장 

- 프로그램에서 어떤 함수를 호출할 경우 그 함수는 자신만의 변수 공간을 가짐

- 함수의 코드는 다른 메모리에 위치해 있는 텍스트 세그먼트에 저장 

- 스택은 함수 호출 시 전달된 모든 인자와 EIP가 되돌아가야 할 주소와 함수에서 사용된 모든 지역 변수를 저장하는데에 쓰임 

- 스택프레임이라는 곳에 다같이 저장! 

- 힙과 달리 높은 메모리 주소에서 낮은 메모리 주소 쪽으로 증가(스택이므로) 

 

** 스택 프레임의 구성 

- 함수의 입력 인자

- 함수의 로컬 변수

- SFP(Saved Frame Pointer) : EBP를 원래 값으로 되돌리는데 쓰임 

- RET(Return Address) : EIP의 값을 함수 호출이 끝난 뒤에 실행해야 할 주소로 되돌리는데 쓰임