Stack Frame을 정리하다가 Memory Layout도 제대로 정리하면 좋을거 같아서 Memory Layout 정리글을 올린다. Linux Memory Layout 8086메모리는 4GB 메모리 기준으로 2GB 커널 영역과 2GB 유저 영역이 존재한다. 이번 포스팅에서 집중해야할 부분은 유저 영역이다. 유저 영역은 세그먼트1라는 단위로 ...

Pwnable 문제를 잘 풀려면 기본적으로 Stack Frame 이해가 필수적이다. 학습은 했지만 정리는 하지 않아, 이번 기회에 제대로 정리해보려고 한다. Stack Frame Stack Frame은 함수 자신만의 공간 이다. 구체적으로 스택은 함수별로 자신의 지역변수 또는 연산과정에서 부차적으로 생겨나는 임시 값들을 저장하는 영역이다. 만약 같은...

Core Dump Core Dump는 프로그램이 비정상적으로 종료될 때 그 시점의 메모리 상태를 기록한 파일이다. Core Dump는 메모리, 레지스터, 스택 등 시스템 상태 정보를 포함한다. 기본적으로 리눅스에서 core dump 파일 크기에 제한이 있을 수 있다. core dump 파일 크기 제한을 보려면 ulimit -a 명령어로 확인하면 된다...

dmesg dmesg명령어는 리눅스에서 시스템 부팅 시점부터 발생한 커널 관련 메세지를 출력하는 명령어이다. 주로 시스템 로그, 부팅 과정, 장치의 상태 및 드라이버 관련 정보를 보여준다. Options dmesg의 주요 옵션은 다음과 같다. -C, --clear: dmesg 내용 삭제 -c, --read-clear: dmesg 내용 출력 후 삭제...

IDA의 원격 디버깅 설정은 다음과 같다. 먼저 IDA가 설치된 파일을 보면 dbgsrv라는 폴더가 있다. 해당 파일에서 디버깅하려는 시스템의 OS 버전에 맞는 원격 디버거 서버를 선택하고, 해당 파일을 원격 시스템에 복사한다. Linux 만약 리눅스 64비트 환경에서 디버깅하고 싶다면 linux_server64를 원격 서버에 복사하면 된다. ...

Z3 Z3는 마이크로소프트에서 개발한 수식 해석 도구로, 대표적인 SMT(Satisfiability Modulo Theories)1 솔버이다. Z3는 보통 CTF에서 로직 자체는 파악을 다 했으나 역연산이 어려울 때 많이 사용된다. Install Python에서 Z3의 모듈의 설치 방법은 다음과 같다. pip install z3-solver 위...

Data Structure 자료구조(Data Structure)는 컴퓨터가 데이터를 효율적으로 다룰 수 있게 도와주는 데이터 보관 방법과 데이터에 관한 연산의 총체이다. 자료구조에는 단순 자료구조와 복합 자료구조가 있다. 단순(Primitive) 자료구조는 int, long과 같은 기본 데이터 형식이다. 복합(Non-Primitive) 자료구조는...

가상 메모리(Virtual Memory) 가상 메모리(Virtual Memory)는 실제 물리 메모리와 사용자의 논리 메모리를 분리하여, 적은 물리 메모리로도 프로그래머에게 큰 가상 주소 공간을 제공할 수 있다. 이는 페이지 공유를 통해 둘 이상의 프로세스에서 파일과 메모리를 공유하여 메모리 사용의 효율성을 높인다. 요구 페이징(Demand Pa...

Main Memory 운영체제에서 메인 메모리는 CPU가 직접 접근할 수 있는 메모리이다. 프로그램이 실행될 때 해당 프로그램은 메모리에 복사되어 적재되며, 이를 프로세스라고 한다. CPU는 프로그램 카운터가 지시하는 대로 연산을 수행한 후, 결과 데이터를 메인 메모리에 저장하거나 필요한 데이터를 메모리에서 가져온다. 기본적인 메모리 구성은 각각의 ...

프로세스 동기화는 여러 프로세스가 동시에 실행될 때, 이들이 공유 자원에 접근하는 순서와 방식에 대해 조정하는 것이다. 동시에 공유 데이터에 접근한다면 데이터 불일치가 일어날 수 있고, 데이터 일관성을 유지하려면 협력 프로세스 간의 순차적인 실행을 보장하는 매커니즘이 필요하다. 즉, 프로세스 동기화를 하지 않으면 데이터 정합성1 문제가 일어날 수 있다...