Enhancing Memory Error Detection for Large-Scale Applications and Fuzz Testing (NDSS 2018)
本文提出了MEDS,一个内存错误检查器(Memory Error Detector)。其通过两个理想属性(Ideal Properties)来增强检测能力:Infinite Gap和Infinite Heap。
本文还提出了MEDSALLOC,一种用户态的内存分配方法(User-space Memory Allocation Mechanism)。其工作流程如下图所示。
论文代码已开源。