Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning
Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning
复制标题
DOI：
10.14722/ndss.2021.24416
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Navid Emamdoost
中科院分区：
文献类型：
--
作者：
Navid Emamdoost
开发一种新的所有权推理机制，采用增强的逃逸分析和消费者功能分析来推断预期的发布位置。通过在Linux内核中应用K-M E LD，我们证实了它的有效性：它发现了2 18个新的B ugs，分配了4 1个C VE。在这218个错误中，有115个属于专门模块。
develop a new ownership reasoning mechanism that employs enhanced escape analysis and consumer-function analysis to infer expected release locations. By applying K-M E LD to the Linux kernel, we confirm its effectiveness: it finds 2 18 n ew b ugs, w ith 4 1 C VEs assigned. Out of those 218 bugs, 115 are in specialized modules.