Which header file(s) should I include to use CHERI functions?ΒΆ

To call CHERI API functions from your own C code, include the cheriintrin.h header file. This will be available as a system header file with CHERI C compiler toolchains. In general, CHERI API functions start with the cheri_ prefix.

#include <cheriintrin.h>
#include <stdio.h>
#include <stdlib.h>

int main() {
  void *x = (void *)malloc(1);
  printf("The bounds of this capability are %d\n",
  return 0;