A formal CHERI-C memory model
In this work, we present a formal memory model that provides a memory semantics for CHERI-C programs with uncompressed capabilities in a 'purecap' environment. We present a CHERI-C memory model theory with properties suitable for verification and potentially other types of analyses. Our th...
| Main Author: | |
|---|---|
| Format: | Physical object |
| Language: | English |
| Published: |
2022
|