[发明专利]程序漏洞检测方法、装置、电子设备及介质在审
申请号: | 202110574700.1 | 申请日: | 2021-05-25 |
公开(公告)号: | CN113312618A | 公开(公告)日: | 2021-08-27 |
发明(设计)人: | 张宇翔;王驰龙;甘俊;刘晓宇 | 申请(专利权)人: | 中国工商银行股份有限公司 |
主分类号: | G06F21/56 | 分类号: | G06F21/56;G06F21/57 |
代理公司: | 中科专利商标代理有限责任公司 11021 | 代理人: | 周天宇 |
地址: | 100140 北*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本公开提供了一种程序漏洞检测方法、装置、电子设备及介质,涉及网络安全或金融科技领域。该程序漏洞检测方法包括:获取程序源代码,提取程序源代码中的中间码,根据中间码生成控制流图;根据预先创建的漏洞模式库,遍历控制流图中的各个节点,搜集预设目标缺陷对应的漏洞路径约束;对漏洞路径约束进行SMT标准化转换后,利用SMT求解器对漏洞路径约束进行求解,判断漏洞路径是否可达;如果是,则检测漏洞路径中的可达路径是否存在安全漏洞;否则,过滤漏洞路径中的不可达路径。 | ||
搜索关键词: | 程序 漏洞 检测 方法 装置 电子设备 介质 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国工商银行股份有限公司,未经中国工商银行股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202110574700.1/,转载请声明来源钻瓜专利网。
- 上一篇:一种灌压一体机及其灌压方法
- 下一篇:游戏的显示方法、装置和终端