paperbot · PL 论文追踪

全部论文 待读 收藏

P2 EClone: detect semantic clones in Ethereum via symbolic transaction sketch

EClone:通过符号交易概要检测以太坊中的语义克隆
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 3/10 · 该论文属于静态分析(符号执行/抽象解释)在区块链智能合约克隆检测上的应用,方法层面与用户关注的程序分析技术有微弱交集,但既不涉及 LLM/Agent 与静态分析的交叉,也不涉及浮点程序分析或贝叶斯程序分析,属于不同应用领域。引用 40 inbox
Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun
crossref: 2026-09-12

AI 速览

一句话:提出 EClone,利用符号化交易概要检测以太坊智能合约的语义克隆,以应对克隆带来的安全与资源威胁。

以太坊允许任何人编写和部署智能合约,导致链上出现大量相似乃至语义等价的合约克隆。这些克隆可能放大安全攻击、造成资源浪费等严重威胁。为此,作者提出 EClone,其核心思想是通过符号化交易概要(symbolic transaction sketch)来刻画合约的交易行为,从而检测语义克隆,而非仅依赖语法或字节码相似性。给定摘要仅说明该工具面向以太坊语义克隆检测,并未给出具体技术细节、数据集、指标或实验结果,因此其检测精度、可扩展性与实际效果尚无法从现有信息评估。

问题
以太坊上智能合约可被任意部署,产生大量相似或语义克隆,这些克隆会放大安全攻击和资源浪费等风险;核心问题是检测语义层面的合约克隆。
方法
提出 EClone,使用符号交易概要(symbolic transaction sketch)来抽象合约交易行为,并据此进行语义克隆检测。
评估
摘要未提供评估信息;无法得知所用数据集、基线、精度或性能结果。
原文摘要(Abstract)

The Ethereum ecosystem has created a prosperity of smart contract applications in public blockchains, with transparent, traceable and programmable transactions. However, the flexibility that everybody can write and deploy smart contracts on Ethereum causes a large collection of similar contracts, i.e., clones. In practice, smart contract clones may amplify severe threats like security attacks, resource waste etc.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4648,
  title = {EClone: detect semantic clones in Ethereum via symbolic transaction sketch},
  author = {Han Liu and Zhiqiang Yang and Chao Liu and Yu Jiang and Wenqi Zhao and Jiaguang Sun},
  booktitle = {FSE},
  year = {2018},
  doi = {10.1145/3236024.3264596}
}