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

被引：0

专利类型：

发明

申请号：

CN202110989270.X

申请日：

2021-08-26

公开(公告)号：

CN113672515A

公开(公告)日：

2021-11-19

发明(设计)人：

姜博王冬陈一飞万寒

申请人：

申请人地址：

100191 北京市海淀区学院路37号

IPC主分类号：

G06F1136

IPC分类号：

G06F841

代理机构：

北京永创新实专利事务所 11121

代理人：

易卜

法律状态：

实质审查的生效

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2021-12-07	实质审查的生效	实质审查的生效 IPC(主分类):G06F 11/36 申请日:20210826
2021-11-19	公开	公开

共 50 条

[1]

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

郑子彬 ;

陈焕泽 ;

郑沛霖 .

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

[2]

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

汪德嘉 ;

王泽旭 ;

宋超 .

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

[3]

一种针对WASM的智能合约漏洞检测方法 [P].

姜海龙 ;

王婷 ;

陈铁明 ;

吕明琪 ;

朱添田 .

中国专利 :CN117786701A ,2024-03-29

[4]

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

赵相福 ;

何龙 ;

王奕辰 .

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

[5]

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

曹育生 ;

郑逸凡 .

中国专利 :CN119783121A ,2025-04-08

[6]

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

曾庆凯 ;

王悦 .

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

[7]

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

曾庆凯 ;

聂凌 .

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

[8]

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

曹育生 ;

郑逸凡 .

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

[9]

一种基于符号执行与模糊的智能合约测试方法 [P].

王荣 ;

蔡维德 .

中国专利 :CN114153746A ,2022-03-08

[10]

一种基于反向有界动态符号执行技术的智能合约优化方法 [P].

郑志明 ;

邱望洁 ;

袁波 ;

吴发国 ;

范文杰 ;

朱红 ;

周冬旭 ;

许洪华 ;

朱正谊 ;

姚铭艺 ;

王文帝 .

中国专利 :CN113238822A ,2021-08-10

← 1 2 3 4 5 →