PoisonCap: CHERI를 위한 효율적인 계층적 시간적 안전성 (Hierarchical Temporal Safety)

요약

PoisonCap은 CHERI 시스템을 위해 설계된 확장 가능한 계층적 시간적 안전성 솔루션으로, 엄격한 Use-after-free(UAF) 보호와 초기화 안전성을 제공합니다. 새로운 'poison' Capability 형식을 도입하여 기존 Cornucopia Reloaded의 한계를 극복하고, 성능 저하 없이 메모리 안전성을 강화합니다.

핵심 포인트

• 엄격한 Use-after-free(UAF) 및 초기화 안전성(initialisation safety) 강제
• 새로운 'poison' Capability 형식을 통한 효율적인 메모리 상태 관리 및 위임
• 기존 Cornucopia 방식 대비 추가적인 근본적 오버헤드 없이 성능 유지
• 중첩된 할당기(nested allocators)가 상위 할당기를 방해하지 않고 안전성을 강제할 수 있는 구조