메모리 그림으로 배우는 C

소스 파일이 실행 파일이 되는 전처리·컴파일·링크 단계를 나눠 실행하고, 선언 누락과 정의 누락 오류를 구분하며 프로그램의 메모리 영역을 그린다.

sizeof와 limits.h로 자료형 크기를 재고, 정수의 바이트를 직접 찍어 엔디언을 확인하며, 부호 없는 순환과 부호 있는 오버플로를 UBSan으로 구분한다.

정수 나눗셈, 정수 승격과 잘림, 부호가 다른 비교, 비트 연산 우선순위, 부동소수 절삭이 결과를 조용히 틀리게 만드는 순간을 경고와 실행 결과로 본다.

if 사슬과 switch, 세 가지 반복문과 break·continue를 추적 표로 익히고, 대입·비교 혼동과 빈 본문, 빠진 break를 컴파일러 경고로 잡는다.

인자가 복사되는 값 전달, 재귀 호출마다 쌓이는 스택 프레임을 주소 차이로 측정하고, static 지역 변수의 수명과 지역 변수 주소 반환의 위험을 본다.

배열의 연속 배치와 함수로 넘길 때 사라지는 크기, 널 종료 문자열과 UTF-8 바이트, snprintf 잘림 검사와 범위 밖 접근의 UBSan 보고를 확인한다.

주소를 담는 변수인 포인터를 그림으로 이해하고, swap과 출력 매개변수 패턴을 만들며, NULL과 초기화하지 않은 포인터가 일으키는 실패를 직접 본다.

포인터 연산이 자료형 크기 단위로 움직이는 것을 재고, 인덱스와 포인터 식의 관계, 끝 포인터, 2차원 배열 배치, const 포인터의 두 가지 뜻을 익힌다.

힙에서 빌리고 돌려주는 메모리로 늘어나는 배열을 만들고, 누수·해제 후 사용·이중 해제를 실행 결과와 clang 정적 분석기로 찾는다.

구조체의 필드 오프셋과 패딩을 offsetof와 -Wpadded로 측정하고, 필드 순서로 크기를 줄이며, 구조체 복사와 포인터 전달의 차이를 본다.

텍스트 CSV를 한 줄씩 안전하게 읽어 잘못된 줄을 건너뛰고, 구조체를 바이너리로 저장한 뒤 od로 바이트를 확인하며 엔디언·패딩 이식성 문제를 짚는다.

버그 세 개가 숨은 함수를 컴파일러 경고, lldb 조건부 중단점, UBSan으로 차례로 잡고, 정적 분석기와 AddressSanitizer의 역할과 한계를 정리한다.