blob: 5b6618269a7c1dff2f5d4c7b08c6a704999a0545 [file] [log] [blame]
// 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);