Stack Frame 재사용으로 인한 Uninitialized Variable 데이터 잔존 분석

Context

C 언어의 지역 변수 미초기화 시 이전 함수 호출의 데이터가 출력되는 Undefined Behaviour 현상 분석. Stack Pointer 이동만으로 메모리를 해제하는 구조적 특성으로 인한 잔류 데이터 노출 문제 발생.

Technical Solution

• Function Return 시 Stack Frame 내 데이터를 명시적으로 삭제하지 않는 컴파일러 최적화 전략 채택
• Stack Pointer(%rsp) 조작을 통한 메모리 영역 가용 상태 전환으로 연산 오버헤드 제거
• 후속 함수 호출 시 이전 함수와 동일한 Stack Offset(-0x4, -0x8, -0x4 등)을 할당하는 메모리 재사용 구조
• 초기화되지 않은 변수 참조 시 해당 Offset에 잔존하는 이전 메모리 바이트를 그대로 로드하는 동작 원리
• 성능 향상을 위해 메모리 Zeroing 과정을 생략한 Low-level 메모리 관리 방식 적용