1편
전체 글
포인터 덧셈·one-past-the-end, 엄격 별칭으로 최적화가 깨지는 경로, `restrict` 계약, effective type·`memcpy` 패턴, C23 provenance 개념을 엮어 UB·`-fstrict-aliasing`·Sanitizer 대응까지 연결합니다.