文件名称：LowFat：使用低脂指针进行精益CC ++边界检查
文件大小：63.72MB
文件格式：ZIP
更新时间：2024-03-17 19:51:54
security llvm memory-safety sanitizer bounds-checking
LowFat：使用低脂指针检查精益C / C ++边界 LowFat是一种基于低脂指针的x86-64新边界检查系统。 LowFat旨在检测对象越界错误（OOB错误），例如缓冲区溢出（或下溢），这些错误是崩溃，安全漏洞和其他程序异常行为的常见根源。 与其他边界检查系统相比，LowFat被设计为具有较低的开销，尤其是内存。 低脂指针的基本思想是将边界信息（大小和基数）直接编码为指针本身的本机位表示形式。 然后可以在运行时检索此边界信息，并在访问指针时对其进行检查，从而防止出现OOB错误。 与现有的边界检查系统相比，低脂指针具有几个优点，即： 内存使用情况：由于对象界限信息直接存储在指针中（而不是其他一些元数据区域），因此LowFat的内存开销非常低。 兼容性：由于低脂指针也是普通指针，因此LowFat实现了高二进制兼容性。 速度：低脂指针相对于其他边界检查系统而言是快速的。 LowF