cheribsd icon indicating copy to clipboard operation
cheribsd copied to clipboard

Add cheribsdtest tests relating to tag stripping in userspace and also by system calls

Open rwatson opened this issue 3 years ago • 0 comments

In order to better test QEMU userlevel support for CheriABI, it would be useful to have a set of tests around tag stripping -- both simply in userlevel code, but also in terms of ensuring that kernel access to user memory strips tags properly, such as copyout()'s from system calls, but also for things like signal frames written to stacks. Tests should cover things like partial overwrites of capabilities, but also full replacement with both valid and invalid capabilities.

CC @kwitaszczyk, @brooksdavis

rwatson avatar Jul 28 '21 17:07 rwatson