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

Page fault handling

Page fault가 발생하면, eBPF로 작성된 BUDAlloc custom page fault handler는 주어진 page fault가 Canonical address에 해당하는 page fault인지 아니면 Alias address에 해당하는 Page fault인지를 판별하여 다음의 동작을 수행한다. Canoincal address을 경우에는 Canonical address를 page table에 세팅하며, Alias address일 경우에는 우선 User-level과 공유된 trie구조에서 Valid한 fault인지, 즉 canonical address가 존재하며 처음 일어나는 page fault인지를 확인, 하고 만약 아니면 UAF를 맞으면 Alias to Canonical에 해당하는 mapping을 생성한다.