.png){kind=icon}
返回
DelegateTracker: Delegatecall Vulnerability Detection Tool Based on Read-Write Data Flow Capture Algorithm
.png){kind=icon}
OA
AI
DOI：10.1016/j.bcra.2025.100338.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
委托调用漏洞（delegatecall vulnerability）作为一种极具隐蔽性的漏洞，给智能合约的开发带来了极大的困扰。针对现有智能合约漏洞检测工具检测结果的误报率较高以及盲目抛弃委托调用（delegatecall）的不合理性，本文创新性地提出了一种委托调用漏洞检测工具DelegateTracker。该工具基于读写数据流捕获算法的委托调用漏洞检测逻辑，并通过攻击路径搜索模块确定调用合约中可修改状态变量的函数的执行路径，以证明漏洞存在的必要条件；随后通过攻击路径验证模块证明漏洞存在的充分条件，从而发现漏洞。该工具不仅成功验证了Parity钱包中委托调用漏洞的存在，还发现了其中未被触发的委托调用漏洞及其触发路径。我们使用DelegateTracker首次在一现有公链上发现了一个存在委托调用漏洞的调用合约，输出了价值0.19 ETH的3条攻击路径。此外，我们使用DelegateTracker分析了12,402个智能合约在通过委托调用被调用时的告警情况，发现215个合约存在委托调用漏洞并输出了调用方警告信息。
Keyword:
Smart Contract
Delegatecall
Symbolic Execution
Pattern Matching
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
316
被引数:
754
机构
暂无机构信息
引用论文
SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability
PREAI
分享收藏Learning to Fuzz from Symbolic Execution with Application to Smart Contracts学习从应用程序的符号执行到智能合约的模糊
PREAI
分享收藏SASC: Secure and Authentication-Based Sensor Cloud Architecture for Intelligent Internet of ThingsSASC: 基于安全和认证的智能物联网传感器云架构.png)
SENSORSOAAI
SENSORSIF3.5
OAAI分享收藏分享收藏
查看更多内容