// Copyright Microsoft and CHERIoT Contributors. | |
// SPDX-License-Identifier: MIT | |
#include <cdefs.h> | |
/** | |
* Basic memory safety bug classes | |
*/ | |
enum class MemorySafetyBugClass | |
{ | |
StackLinearOverflow, | |
HeapLinearOverflow, | |
HeapNonlinearOverflow, | |
HeapUseAfterFree, | |
StoreStackPointerToGlobal | |
}; | |
int __cheri_compartment("memory_safety_inner") | |
memory_safety_inner_entry(MemorySafetyBugClass operation); |