The lack of memory safety in programs written in C and C++ has provided a significant opportunity for exploitation by attackers. For example, a simple buffer overflow can lead to silent memory corruption, information leakage, or privilege escalation. …