一种基于差异化符号执行的固件漏洞检测方法

被引：0

专利类型：

发明

申请号：

CN202510294202.X

申请日：

2025-03-13

公开(公告)号：

CN119783121A

公开(公告)日：

2025-04-08

发明(设计)人：

曹育生郑逸凡

申请人：

上海齐同信息科技有限公司

申请人地址：

201304 上海市浦东新区中国(上海)自由贸易试验区临港新片区丽正路1628号4幢1-2层

IPC主分类号：

G06F21/57

IPC分类号：

代理机构：

江苏新高的律师事务所 32374

代理人：

王莹

法律状态：

实质审查的生效

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2025-04-25	实质审查的生效	实质审查的生效IPC(主分类):G06F 21/57申请日:20250313
2025-04-08	公开	公开
2025-05-27	授权	授权

共 50 条

[1]

一种基于差异化符号执行的固件漏洞检测方法 [P].

曹育生 ;

郑逸凡 .

中国专利 :CN119783121B ,2025-05-27

[2]

一种基于符号执行的WASM智能合约漏洞检测方法 [P].

姜博 ;

王冬 ;

陈一飞 ;

万寒 .

中国专利 :CN113672515A ,2021-11-19

[3]

一种静态分析辅助的符号执行漏洞检测方法 [P].

曾庆凯 ;

王悦 .

中国专利 :CN104794401A ,2015-07-22

[4]

一种基于路径合并的可引导符号执行漏洞检测方法 [P].

曾庆凯 ;

聂凌 .

中国专利 :CN106599695B ,2017-04-26

[5]

一种基于符号执行验证的智能合约漏洞检测方法及装置 [P].

汪德嘉 ;

王泽旭 ;

宋超 .

中国专利 :CN113688403A ,2021-11-23

[6]

基于符号执行的智能合约漏洞检测方法、装置及相关设备 [P].

郑子彬 ;

陈焕泽 ;

郑沛霖 .

中国专利 :CN115455436A ,2022-12-09

[7]

基于符号执行的漏洞利用点查找方法及装置 [P].

宋站威 ;

曾怡诚 ;

王进法 ;

于楠 ;

李志 ;

朱红松 ;

孙利民 .

中国专利 :CN113656280B ,2024-04-05

[8]

基于符号执行的漏洞利用点查找方法及装置 [P].

宋站威 ;

曾怡诚 ;

王进法 ;

于楠 ;

李志 ;

朱红松 ;

孙利民 .

中国专利 :CN113656280A ,2021-11-16

[9]

一种基于符号执行的数组越界检测方法 [P].

胡昌振 ;

单纯 ;

于泽群 ;

薛静锋 ;

赵小林 .

中国专利 :CN105912459A ,2016-08-31

[10]

一种符号执行的智能合约漏洞检测方法、系统和设备 [P].

赵相福 ;

何龙 ;

王奕辰 .

中国专利 :CN116933267B ,2024-01-26

← 1 2 3 4 5 →