| // Copyright Microsoft and CHERIoT Contributors. | |
| // SPDX-License-Identifier: MIT | |
| #include "hello.h" | |
| #include <fail-simulator-on-error.h> | |
| /// Thread entry point. | |
| void __cheri_compartment("hello") entry() | |
| { | |
| // Try writing a string with a missing null terminator | |
| char maliciousString[] = {'h', 'e', 'l', 'l', 'o'}; | |
| write(maliciousString); | |
| // Now try one that doesn't have read permission: | |
| CHERI::Capability storeOnlyString{maliciousString}; | |
| storeOnlyString.permissions() &= CHERI::Permission::Store; | |
| write(storeOnlyString); | |
| // Now one that should work | |
| write("Non-malicious string"); | |
| } |