Exploring compressed bounds for CHERI

Akilan1999 / CHERI-FLEXPOINTER

This repo consists of the experiment on porting FlexPointer to CHERI.

0 stars 0 forks source link

Open Akilan1999 opened 10 months ago

Akilan1999 commented 10 months ago

The objective would be to use compressed bounds within CHERI to get the BASE (TOP) and LIMIT(BOTTOM) of the virtual or physical address space.

Akilan1999 commented 10 months ago

vaddr_t cheri_base_get(void *c) Return the lower bound of capability c. source (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-947.pdf page: 28).

Akilan1999 commented 10 months ago

The plan is use ARM TBI (Top Byte Ignore). Encoding the Delta value to the Pointer.