1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

一种基于符号执行的释放重引用漏洞检测方法.pdfVIP

  • 2
  • 0
  • 约2.38万字
  • 约 21页
  • 2023-07-05 发布于四川
  • 举报

一种基于符号执行的释放重引用漏洞检测方法.pdf

    本发明公开了一种基于符号执行的释放重引用漏洞检测方法，包括基于符号执行系统，建立释放重引用漏洞检测策略，得到检测释放重引用漏洞的准则与基本方法；根据符号执行系统，建立释放重引用漏洞检测算法；根据释放重引用漏洞检测算法进行约束求解，判断被检源程序是否存在释放重引用漏洞；若存在满足的解，则被检源程序存在释放重引用漏洞，否则被检源程序不存在释放重引用漏洞。本发明通过基于符号执行系统，建立释放重引用漏洞的检测策略，从而通过一阶逻辑公式求解约束，判断是否存在可满足性解，实现对释放重引用漏洞的使用过程中的漏

    (19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 116383824 A (43)申请公布日 2023.07.04 (21)申请号 202310207433.3 (22)申请日 2023.03.01 (71)申请人 中国人民解放军国防科技大学 地址

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >