| // Copyright Microsoft and CHERIoT Contributors. |
| // SPDX-License-Identifier: MIT |
| |
| #include <compartment.h> |
| #include <debug.hh> |
| #include <fail-simulator-on-error.h> |
| |
| /// Expose debugging features unconditionally for this compartment. |
| using Debug = ConditionalDebug<true, "Allocating compartment">; |
| |
| /// Thread entry point. |
| void __cheri_compartment("allocate") entry() |
| { |
| void *x = malloc(42); |
| // Print the allocated value: |
| Debug::log("Allocated: {}", x); |
| free(x); |
| // Print the dangling pointer, note that it is no longer a valid pointer |
| // (v:0) |
| Debug::log("Use after free: {}", x); |
| } |
