Chadt, J., Hochrainer, C., Wüstholz, V., & Christakis, M. (2024). Olympia: Fuzzer Benchmarking for Solidity. In ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (pp. 2362–2365). Association for Computing Machinery. https://doi.org/10.1145/3691620.3695352
ASE '24: 39th IEEE/ACM International Conference on Automated Software Engineering
en
Event date:
27-Oct-2024 - 1-Nov-2024
-
Event place:
Sacramento, United States of America (the)
-
Number of Pages:
4
-
Publisher:
Association for Computing Machinery, New York, NY, USA
-
Peer reviewed:
Yes
-
Keywords:
Fuzzing; Benchmarking; Solidity
en
Abstract:
Over the last few years, smart-contract hacks have resulted in the loss of billions of assets. To efficiently identify such vulnerabilities, academic and industrial researchers have developed several popular smart-contract fuzzers. However, it has been challenging to objectively compare their bug-finding effectiveness. In this paper, we present Olympia, the first benchmark-generation tool that is designed for smart-contract, rather than general-purpose, fuzzers. We have used Olympia to evaluate the effectiveness of four well known, open-source fuzzers for Solidity smart contracts.
en
Project title:
Effective Formal Methods for Smart-Contract Certification: ICT22-007 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)
CC BY-SA 4.0
