| 基于抽象内存模型的内存相关漏洞检测方法 |
| |
| 引用本文： | 许健,陈平华,熊建斌. 基于抽象内存模型的内存相关漏洞检测方法[J]. 计算机工程与应用, 2022, 58(8): 96-108. DOI: 10.3778/j.issn.1002-8331.2010-0354 |
| |
| 作者姓名： | 许健 陈平华 熊建斌 |
| |
| 作者单位： | 1.广东工业大学 计算机学院，广州 5100062.广东技术师范大学 自动化学院，广州 510665 |
| |
| 基金项目： | 广东省科技计划项目;广东省自然科学基金 |
| |
| 摘 要： | 针对现有的内存相关漏洞检测方法中存在依赖指针数据流而导致大量误报漏报、缺乏漏洞特征的形式化描述以及漏洞特征描述不全面的问题,提出一种基于抽象内存模型的内存相关漏洞检测方法.对抽象内存模型进行相关定义;基于抽象内存模型,对内存泄露、重复释放内存和读写释放后的内存这三种与内存相关的漏洞类型的特征进行形式化符号表示;基于代码...
|
| 关 键 词： | 内存相关漏洞检测 抽象内存模型 内存泄漏 重复释放内存 读写释放后的内存 |
Memory-Related Vulnerability Detection Method Based on Abstract Memory Model |
| |
| XU Jian,CHEN Pinghua,XIONG Jianbin. Memory-Related Vulnerability Detection Method Based on Abstract Memory Model[J]. Computer Engineering and Applications, 2022, 58(8): 96-108. DOI: 10.3778/j.issn.1002-8331.2010-0354 |
| |
| Authors: | XU Jian CHEN Pinghua XIONG Jianbin |
| |
| Affiliation: | 1.School of Computer, Guangdong University of Technology, Guangzhou 510006, China2.School of Automation, Guangdong Polytechnic Normal University, Guangzhou 510665, China |
| |
| Abstract: | |
| |
| Keywords: | memory-related vulnerabilities detection abstract memory model memory leak double free use after free |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
