符号执行的并行路径搜索方法及装置

被引：0

专利类型：

发明

申请号：

CN201711423532.6

申请日：

2017-12-25

公开(公告)号：

CN108021507B

公开(公告)日：

2018-05-11

发明(设计)人：

衷璐洁黄晓

申请人：

申请人地址：

100048 北京市西三环北路105号

IPC主分类号：

G06F1136

IPC分类号：

代理机构：

北京同立钧成知识产权代理有限公司 11205

代理人：

宋扬;刘芳

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2018-05-11	公开	公开
2020-07-28	授权	授权

共 50 条

[1]

基于路径簇规约的并行符号执行方法 [P].

吴世忠 ;

郭涛 ;

张普含 ;

王嘉捷 .

中国专利 :CN103049377A ,2013-04-17

[2]

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

李游 ;

王林章 ;

李宣东 ;

陈志 .

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

[3]

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

张小松 ;

黄金 ;

牛伟纳 ;

陈瑞东 ;

王东 ;

徐浩然 ;

白金 ;

赖特 ;

李金栓 ;

于洲 .

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

[4]

基于符号执行的路径搜索方法、装置以及存储介质 [P].

姚腾东 ;

吴吞 ;

黄玉娈 .

中国专利 :CN114518999B ,2024-12-10

[5]

基于符号执行的路径搜索方法、装置以及存储介质 [P].

姚腾东 ;

吴吞 ;

黄玉娈 .

中国专利 :CN114518999A ,2022-05-20

[6]

一种基于前向探针的离线符号执行路径搜索方法 [P].

魏强 ;

武泽慧 ;

柳晓龙 ;

杜江 ;

李锡星 ;

麻荣宽 .

中国专利 :CN111400165A ,2020-07-10

[7]

符号执行方法及装置 [P].

刘丙昌 ;

傅先进 ;

狄鹏 .

中国专利 :CN118363855A ,2024-07-19

[8]

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

王林章 ;

鲍铁匀 ;

李宣东 .

中国专利 :CN104732152B ,2015-06-24

[9]

一种缓解路径爆炸的动态符号执行方法 [P].

张小松 ;

陈厅 ;

吉小丽 ;

朱聪 ;

侯浩俊 .

中国专利 :CN102708045A ,2012-10-03

[10]

基于并行符号执行的多源多目标逼近测试方法 [P].

曹琰 ;

魏强 ;

尹中旭 ;

彭建山 ;

武泽慧 ;

柳晓龙 ;

刘雯雯 .

中国专利 :CN105550120A ,2016-05-04

← 1 2 3 4 5 →