GCC __attribute__((cleanup)) 통한 C 언어 RAII 기반 메모리 누수 원천 차단

Context

C 언어의 수동 리소스 해제 방식은 복잡한 제어 흐름과 Early Return 상황에서 메모리 누수 및 Double-free 위험을 초래함. 특히 대규모 코드베이스일수록 리소스 추적 비용이 기하급수적으로 증가하는 한계 존재.

Technical Solution

• GCC/Clang 확장 속성인 __attribute__((cleanup))를 활용한 Scope 기반 자동 리소스 해제 구조 설계
• 변수가 Scope를 벗어나는 시점에 컴파일러가 지정된 Cleanup 함수를 자동으로 호출하는 매커니즘 적용
• Cleanup 함수 내부에서 *(void **)p 역참조를 통해 포인터 타입에 관계없이 범용적인 free() 처리가 가능한 추상화 계층 구현
• 반복적인 속성 선언의 가독성 저하를 해결하기 위해 매크로(auto_free)를 통한 선언부 간소화
• Local Variable의 Automatic Storage Duration 제약을 활용하여 결정론적(Deterministic) 리소스 회수 보장