CheriABI: enforcing valid pointer provenance and minimizing pointer privilege in the POSIX C run-time environment
The Morning Paper
MAY 27, 2019
The work includes changes to the CHERI ISA, the C compiler, the C language runtime, the virtual memory APIs, and the CheriBSD kernel. On a context switch the kernel saves and restores user-thread register capability state, and updates virtual-physical mappings. For a macro-benchmark PostgreSQL’s initdb tool was used.
Let's personalize your content