EF/CF：用于漏洞利用生成的高性能智能合约模糊测试
密码学与安全
2023-04-14 v1
摘要
智能合约正日益被用于管理大量高价值加密货币账户。对于自动化、高效且全面的方法来检测给定合约中的安全漏洞存在强烈需求。尽管文献中已有大量智能合约分析方法，现有方案未能应对合约日益增长的复杂性。现有分析工具在如今以复杂性和相互依赖为特征的智能合约中存在误报和漏报。为将精确分析扩展到现代智能合约，我们引入 EF/CF，一种用于以太坊智能合约的高性能模糊测试器。与以往工作不同，EF/CF 以极高的模糊测试吞吐率高效且精确地建模复杂的智能合约交互，如重入和跨合约交互。为此，EF/CF 将智能合约字节码转译为原生 C++ 代码，从而能够复用现有优化的模糊测试工具链。此外，EF/CF 采用面向智能合约交易序列的结构感知变异引擎，并利用合约的 ABI 生成有效交易输入，从而提高了模糊测试效率。在综合评估中，我们表明与包括其他模糊测试器、符号/混合执行和混合方法在内的最先进方法相比，EF/CF 在不牺牲精度的情况下更好地扩展到复杂合约。此外，我们展示了 EF/CF 能自动生成利用重入漏洞窃取 Ether 的交易序列。
引用
@article{arxiv.2304.06341,
title = {EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation},
author = {Michael Rodler and David Paaßen and Wenting Li and Lukas Bernhard and Thorsten Holz and Ghassan Karame and Lucas Davi},
journal= {arXiv preprint arXiv:2304.06341},
year = {2023}
}
备注
To be published at Euro S&P 2023