Compile and run RISC-V and CHERI-RISC-V programs
The test program is written in conventional C, and can be compiled to RISC-V or CHERI-RISC-V targets:
- Compile
print-pointer.cfor the baseline architecture with theprint-pointer-baselinemake target.
print-pointer.c:
/*
* SPDX-License-Identifier: BSD-2-Clause-DARPA-SSITH-ECATS-HR0011-18-C-0016
* Copyright (c) 2020 SRI International
*/
#include <stdio.h>
int
main(void)
{
printf("size of pointer: %zu\n", sizeof(void *));
/* XXX: ideally we'd use ptraddr_t below */
printf("size of address: %zu\n", sizeof(size_t));
return (0);
}
- Run the binary.
- Compile
print-pointer.cfor the CHERI-aware architecture with theprint-pointer-cherimake target. - Run the binary: it should print a pointer size of
16and address size of8. - Inspect both binaries with
llvm-readelf -hand compare theFlagsrows with each other.
The second test program is written in CHERI C:
- Compile
include print-capability.cfor the CHERI-aware architecture with theprint-capabilitymake target.
/*
* SPDX-License-Identifier: BSD-2-Clause-DARPA-SSITH-ECATS-HR0011-18-C-0016
* Copyright (c) 2020 SRI International
*/
#include <stdio.h>
#include <cheriintrin.h>
int
main(void)
{
int i;
char *c;
void *cap_to_int = &i;
void *cap_to_cap = &c;
printf("cap to int length: %lu\n", cheri_length_get(cap_to_int));
printf("cap to cap length: %lu\n", cheri_length_get(cap_to_cap));
return (0);
}
- Run the binary: note how the length of the capability depends on the size of the type it points to.