Translations:BUDAlloc: Defeating Use-After-Free Bugs by Decoupling Virtual Address Management from Kernel/13/ko

Design

eBPF를 활용하여서, User가 안전하게 Custom page fault handler를 작성할 수 있도록 하였다. Custom page fault handler는 User-level과 공유되는 Metadata를 직접활용해서 바로 Page table을 조작하기에, 커널보다 훨씬 OTA구현에 최적화된 Virtual address stack을 User가 작성할 수 있게 하였다.