原创力文档- 3
- 0
- 约1.64万字
- 约 15页
- 2023-05-11 发布于四川
- 举报
本发明提出基于状态转换的堆内存破坏漏洞自动验证方法和系统。利用CFG图分析技术和程序的静态分析技术实现堆操作相关静态路径抽取，在得到堆操作相关路径后，以符号执行的方式获取与堆操作相关的路径约束，并添加对所述路径约束参数的约束；依照不同的类型的漏洞及对应的内存状态的转换方式，对测试程序的堆内存进行布局，重新规划堆操作序列，实现堆漏洞内存状态自动转换，得到能够满足漏洞验证的约束条件；在能够满足漏洞验证的约束条件中剔除原有的输入约束，得到最终的目标约束，利用约束求解器，实现漏洞验证代码自动生成。本发明
(19)国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 114579976 A
(43)申请公布日 2022.06.03
(21)申请号 202210180253.6
(22)申请日 2022.02.25
(71)申请人 中国人民解放军国防科技大学
地址
您可能关注的文档
- 一种保健酒羟基自由基清除率的快速检测方法.pdf
- 结合RPA及AI的招投标信息校正方法、装置及存储介质.pdf
- 结合RPA及AI的OWL系统构建方法、装置、终端及存储介质.pdf
- 一种时间格式的转换方法、装置、设备及产品.pdf
- 一种共识方法、区块链系统和共识节点.pdf
- 一种注塑机后道冲压机的废料取出机械手.pdf
- 一种超低热膨胀系数苯并环丁烯树脂及其制备方法和应用.pdf
- 一种新型横拉门水闸.pdf
- 一种中医内科用针灸定位装置及其使用方法.pdf
- 基于局部贡献方差的人脸质量判断方法.pdf
- 甘肃兰州市新区教育片区2025-2026学年高二下学期7月期末考试生物试卷（含答案）.pdf
- 电工取证全科完整试题资源合集(完整版带答案).doc
- 甘肃省白银市2025-2026学年七年级下学期期末质量检测道德与法治试卷(含答案).pdf
- 专题2.1 整式-【小升初衔接】新初一数学小升初考点必杀40题（人教版）原卷版.pdf
- 2026年工程结构设计模拟试题集.docx
- 电工取证全科完整试题资源整合(完整版带答案).doc
- 甘肃省白银市2025-2026学年七年级下学期期末质量检测历史试卷(有答案).pdf
- 2026年会计师备考练习题包含财务报告及财务报表分析.docx
- 电工取证全科完整试题资源整合文档(完整版带答案).doc
- 甘肃省白银市2025-2026学年七年级下学期期末质量检测生物试卷(有答案).pdf
文档评论（0）