基于字节码关键路径的智能合约漏洞检测 |
| |
引用本文: | 印桂生,高乐,庄园,李俊.基于字节码关键路径的智能合约漏洞检测[J].哈尔滨工程大学学报,2022(2):255-261. |
| |
作者姓名: | 印桂生 高乐 庄园 李俊 |
| |
摘 要: | 目前智能合约漏洞检测技术手段单一,多数方法只针对合约的源代码,鲜有面向智能合约其他类型的安全检测.本文在仅给定智能合约二进制代码的情况下,针对最高频的可重入漏洞、委托调用漏洞和时间戳依赖漏洞,设计并实现了一种基于关键路径的智能合约漏洞检测方法.基于合约字节码构建智能合约执行控制流图;根据智能合约漏洞特点定义关键指令及规...
|
关 键 词: | 区块链 智能合约 安全分析 漏洞检测 二进制代码 字节码 关键指令 关键路径 |
|
|