ContractTrace:追溯智能合约版本以进行安全分析
软件工程
2025-07-09 v2
摘要
由于区块链技术固有的不可变性,智能合约的更新需要部署到新地址而非修改现有地址,从而碎片化了版本历史,并为分析造成了关键盲点。例如,这种碎片化严重阻碍了安全研究人员跨合约版本追踪漏洞生命周期的能力。虽然Etherscan等平台提供了以太坊智能合约的详细信息,但它们缺乏追踪智能合约谱系中前驱-后继关系的关键功能,从而阻碍了对漏洞如何出现、传播以及可能跨版本未解决的系统性分析。为了应对追踪智能合约谱系的挑战,我们采用设计科学研究(DSR)方法,引入了ContractTrace,这是一种自动化的基础设施,能够准确识别智能合约版本并将其链接成连贯的谱系。该工具支持构建lineageSet,这是一个最新的开源数据集,专门设计用于支持智能合约中漏洞、缺陷或任何其他属性演化模式的安全研究。通过一个以安全为重点的案例研究,我们展示了ContractTrace如何揭示智能合约谱系中先前被掩盖的漏洞生命周期,追踪关键安全缺陷是否在版本间持续存在或得到解决。这种能力对于理解漏洞传播模式和评估区块链环境中安全补丁的有效性至关重要。在我们DSR方法的评估阶段,我们使用局部敏感哈希(LSH)聚类合约版本的替代方法验证了我们的谱系检测方法,确认了我们技术的安全相关性和准确性。
引用
@article{arxiv.2412.20866,
title = {ContractTrace: Retracing Smart Contract Versions for Security Analyses},
author = {Fatou Ndiaye Mbodji and Vinny Adjibi and Moustapha Awwalou Diouf and Gervais Mendy and Kui Liu and Jacques Klein and Tegawende Bissyande},
journal= {arXiv preprint arXiv:2412.20866},
year = {2025}
}
备注
10 pages, 4 figures, 4 tables