EASYFLOW：让以太坊远离溢出
软件工程
2019-06-12 v2
摘要
尽管以太坊智能合约催生了广泛的区块链应用，它们极易受到不同形式的安全攻击。由于发往智能合约的交易通常涉及加密货币转移，任何成功攻击都可能导致资金损失甚至金融混乱。在本文中，我们关注以太坊中的溢出攻击，主要是因为它们广泛根植于许多智能合约中且相对容易利用。我们开发了 EASYFLOW，一个以太坊虚拟机层面的溢出检测器。EASYFLOW 背后的关键见解是基于污点分析的追踪技术，用于分析所涉污点的传播。具体而言，EASYFLOW 不仅能将智能合约划分为安全合约、显式溢出、良好防护的溢出和潜在溢出，还能自动生成交易以触发潜在溢出。在我们的初步评估中，EASYFLOW 以极小的运行时开销成功发现了潜在易受攻击的以太坊合约。
引用
@article{arxiv.1811.03814,
title = {EASYFLOW: Keep Ethereum Away From Overflow},
author = {Jianbo Gao and Han Liu and Chao Liu and Qingshan Li and Zhi Guan and Zhong Chen},
journal= {arXiv preprint arXiv:1811.03814},
year = {2019}
}
备注
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings. IEEE Press, 2019