基于状态转换的堆内存破坏漏洞自动验证方法和系统
公开
摘要
本发明提出基于状态转换的堆内存破坏漏洞自动验证方法和系统。利用CFG图分析技术和程序的静态分析技术实现堆操作相关静态路径抽取，在得到堆操作相关路径后，以符号执行的方式获取与堆操作相关的路径约束，并添加对所述路径约束参数的约束；依照不同的类型的漏洞及对应的内存状态的转换方式，对测试程序的堆内存进行布局，重新规划堆操作序列，实现堆漏洞内存状态自动转换，得到能够满足漏洞验证的约束条件；在能够满足漏洞验证的约束条件中剔除原有的输入约束，得到最终的目标约束，利用约束求解器，实现漏洞验证代码自动生成。本发明的方案能够解决手工堆内存破坏漏洞验证效率低下、专业知识要求高的问题。
基本信息
专利标题 ：
基于状态转换的堆内存破坏漏洞自动验证方法和系统
专利标题（英）：
暂无
公开（公告）号 ：
CN114579976A
申请号 ：
CN202210180253.6
公开（公告）日 ：
2022-06-03
申请日 ：
2022-02-25
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
李阳王瑞鹏沈毅李振汉潘祖烈施凡
申请人 ：
中国人民解放军国防科技大学
申请人地址 ：
湖南省长沙市开福区德雅路109号
代理机构 ：
中国和平利用军工技术协会专利中心
代理人 ：
刘光德
优先权 ：
CN202210180253.6
主分类号 ：
G06F21/57
IPC分类号 ：
G06F21/57 G06F21/56
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F21/00
防止未授权行为的保护计算机、其部件、程序或数据的安全装置
G06F21/50
监控用户、程序或设备，以维护平台完整。例如：处理器、固件或操作系统
G06F21/57
确保或维持可信任的计算机平台，例如安全引导或断电、版本控制、系统软件检查、安全更新或评估漏洞
法律状态
2022-06-03 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
