| // 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"); |
| } |
