This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Seeking Detailed Documentation for CHERI LLVM (capability deployment optimization)

Hello,

I am currently working on research in developing a transform/pass within CHERI LLVM to optimize capability deployment.

I want to use an external analysis tool (originally designed to optimize SafeStack) to optimize capability deployment and wanted to figure out how capabilities are deployed. I understand pure-capability mode makes all pointers capabilities but I also heard that there was an existing analysis step in purecap mode compilation that determines and optimizes capability deployment.

are there any documents detailing CHERI LLVM's additions to LLVM? In particular the analysis step or capability deployment in LLVM?

Thank you,
Yuh K.