PUDA Explained: Understanding Use-After-Free-Style Bugs

메모리 corruption 버그는 시스템 소프트웨어에서 가장 지속적인 취약점 클래스 중 하나이며, 이들의 메커니즘을 이해하는 것은 취약점 연구, 보안 코딩, 또는 익스플로잇 완화에 종사하는 누구에게나 필수적이다. "PUDA"는 일부 보안 커뮤니티에서 비공식적으로 사용하는 용어로, Premature Use of Dangling Access를 설명한다 — 프로그램이 메모리(포인터, 핸들, 또는 객체 참조)가 해제되거나, 재할당되거나, 또는 다른 방식으로 무효화된 후에 그 메모리를 참조하는 버그의 범주이다. 이는 use-after-free (UAF) 및 dangling pointer 문제와 밀접한 관련이 있으며, 종종 상호교환적으로 사용된다. CTF writeup, 연구 논문, 또는 내부 버그 추적기에서 PUDA 용어를 만나든, 기본 개념은 동일하다: 여전히 유효한 것처럼 사용되는 stale reference이다.

PUDA 조건의 원인

핵심적으로, PUDA 버그는 객체의 실제 lifetime과 그것을 참조하는 코드가 가정하는 lifetime 사이의 불일치에서 발생한다. 일반적인 근본 원인은 다음과 같다:

• Free 후 null-out 누락: 포인터가 해제되지만 NULL로 설정되지 않아, 실수로 reusable한 dangling 포인터가 남는다.
• Race condition: 멀티스레드 코드에서 한 스레드가 객체를 해제하는 동안 다른 스레드는 여전히 그 객체에 대한 참조를 유지하고 사용한다 (클래식한 TOCTOU-adjacent 시나리오).
• Callback 및 event-driven 로직: 객체가 callback 중에 파괴되지만, calling 코드는 callback이 반환된 후에도 계속 그것을 조작한다.
• Reference counting 오류: 객체의 reference count가 잘못 감소하여, 여전히