|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|基于符号执行的Tcache Poisoning堆漏洞自动验证方法研究

基于符号执行的Tcache Poisoning堆漏洞自动验证方法研究

张利群 潘祖烈 黄晖 王瑞鹏 李阳

计算机工程2023，Vol.49Issue(6)：24-33,10.
✕
计算机工程2023，Vol.49Issue(6)：24-33,10.DOI:10.19678/j.issn.1000-3428.0064958

基于符号执行的Tcache Poisoning堆漏洞自动验证方法研究

Research on Automatic Verification Method of Tcache Poisoning Heap Vulnerability Based on Symbolic Execution

张利群 1潘祖烈 1黄晖 1王瑞鹏 1李阳1

作者信息

  • 1. 国防科技大学 电子对抗学院,合肥 230037||网络空间安全态势感知与评估安徽省重点实验室,合肥 230037
  • 折叠

摘要

关键词

堆漏洞/Tcache Poisoning方法/符号执行/漏洞自动验证/约束构建

分类

信息技术与安全科学

引用本文复制引用

张利群,潘祖烈,黄晖,王瑞鹏,李阳..基于符号执行的Tcache Poisoning堆漏洞自动验证方法研究[J].计算机工程,2023,49(6):24-33,10.

基金项目

国家重点研发计划(2021YFB3100500). （2021YFB3100500）

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

访问量0
|
下载量0
段落导航相关论文