基于符号执行路径剪枝的缓冲区溢出漏洞自动检测方法

被引：0

专利类型：

发明

申请号：

CN201510161507.X

申请日：

2015-04-07

公开(公告)号：

CN104732152B

公开(公告)日：

2015-06-24

发明(设计)人：

王林章鲍铁匀李宣东

申请人：

申请人地址：

210093 江苏省南京市鼓楼区汉口路22号

IPC主分类号：

G06F2157

IPC分类号：

代理机构：

南京瑞弘专利商标事务所(普通合伙) 32249

代理人：

杨晓玲

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2015-06-24	公开	公开
2015-07-22	实质审查的生效	实质审查的生效号牌文件类型代码:1604 号牌文件序号:101617849567 IPC(主分类):G06F 21/57 专利申请号:201510161507X 申请日:20150407
2020-10-13	专利实施许可合同备案的生效、变更及注销	专利实施许可合同备案的生效 IPC(主分类):G06F 21/57 合同备案号:X2020980005989 让与人:南京大学受让人:华为技术有限公司发明名称:基于符号执行路径剪枝的缓冲区溢出漏洞自动检测方法申请日:20150407 申请公布日:20150624 授权公告日:20171124 许可种类:普通许可备案日期:20200911
2017-11-24	授权	授权

共 50 条

[1]

一种基于符号执行路径剪枝的缓冲区溢出漏洞自动检测方法 [P].

谢海 ;

朱涛 ;

陈水全 .

中国专利 :CN110287693A ,2019-09-27

[2]

基于动态符号执行与模糊测试的缓冲区溢出检测方法 [P].

郑炜 ;

蔺军 ;

曹石超 .

中国专利 :CN110059010B ,2019-07-26

[3]

缓冲区溢出漏洞自动修复方法 [P].

王林章 ;

高凤娟 ;

李宣东 .

中国专利 :CN105809039A ,2016-07-27

[4]

一种基于路径分析的缓冲区溢出漏洞自动利用方法 [P].

董威 ;

贾维熙 ;

徐鲁杭 ;

尹良泽 ;

陈立前 ;

陈振邦 ;

王戟 .

中国专利 :CN108959936A ,2018-12-07

[5]

一种基于函数调用的缓冲区溢出漏洞动态检测方法 [P].

胡昌振 ;

薛静锋 ;

周琦超 ;

李坚 ;

单纯 .

中国专利 :CN104766015B ,2015-07-08

[6]

一种用于漏洞发掘的动态符号执行路径搜索方法 [P].

张小松 ;

黄金 ;

牛伟纳 ;

陈瑞东 ;

王东 ;

徐浩然 ;

白金 ;

赖特 ;

李金栓 ;

于洲 .

中国专利 :CN104008053B ,2014-08-27

[7]

符号执行的并行路径搜索方法及装置 [P].

衷璐洁 ;

黄晓 .

中国专利 :CN108021507B ,2018-05-11

[8]

缓冲区溢出攻击的检测方法 [P].

刘旭 .

中国专利 :CN1818822A ,2006-08-16

[9]

一种基于GCC抽象语法树的缓冲区溢出漏洞检测方法 [P].

胡昌振 ;

邹家莘 ;

王崑声 ;

马锐 ;

薛静锋 .

中国专利 :CN101908006B ,2010-12-08

[10]

基于路径片段频谱的符号执行搜索方法 [P].

李游 ;

王林章 ;

李宣东 ;

陈志 .

中国专利 :CN103870391B ,2014-06-18

← 1 2 3 4 5 →