개요
BUDAlloc은 User after free버그를 효과적으로 Prevent/Detect하기 위한 방법으로써 기존의 One-time-allocator들의 공통된 한계를 분석하고 그 한계를 극복한 논문이다. 공통된 한계는 Kernel와 User의 분리된 Virtual address management로 인한 Semantic갭으로 주장한다. 이를 위해서 Virtual address management를 Kernel에서 분리하여, User와 kernel이 VA를 eBPF로 Co-design하도록 하여서 문제를 해결하였다.