search

CTSRD-CHERI / FETT

Issue only repo to support the FETT project
0 stars 0 forks source link

Test program for CHERI-RISC-V PTE bits #8

Closed brooksdavis closed 4 years ago

bsdjhb commented 4 years ago

I'm hoping one of the cheritest tests will capture this (the 'cheritest_vmnotag*' in particular). That should test the SC inhibited case. I'm not sure if we have a good test for LC clearing tags?

bsdjhb commented 4 years ago

FYI, cheritest_vm_notag_* does serve as a good test for PTE_SC. There doesn't seem to be an easy way to write a test case for PTE_LC. Maybe a custom syscall (like we have kbounce(2)) could write a tag into a file-backed page via the direct map and then userland could try to read it?

brooksdavis commented 4 years ago

I think this is mostly complete unless we want to add the special syscall.