sideline

本技术报告基于作者于2020年11月提交给Selwyn College剑桥大学的哲学博士学位的论文。 系统语言（例如C或C ++）因其高性能而被广泛使用，但是允许使用任意指针算术和类型转换会带来内存损坏的风险。这些内存错误会导致程序意外终止，甚至更糟的是，攻击者可以利用它们来更改程序的行为或泄漏关键数据。 尽管......