Olympia: Fuzzer Benchmarking for Solidity

Chadt, Jana; Hochrainer, Christoph; Wüstholz, Valentin; Christakis, Maria

doi:10.1145/3691620.3695352

Record link:

http://hdl.handle.net/20.500.12708/205356

Title:

Olympia: Fuzzer Benchmarking for Solidity

Citation:

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

CatalogPlus:

AC17388336

Publisher DOI:

10.1145/3691620.3695352

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Chadt, Jana
Hochrainer, Christoph
Wüstholz, Valentin
Christakis, Maria

Organisational Unit:

E194-01 - Forschungsbereich Software Engineering

Published in:

ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering

ISBN:

979-8-4007-1248-7

DOI of the book:

10.1145/3691620

Date (published):

2024

Event name:

ASE '24: 39th IEEE/ACM International Conference on Automated Software Engineering

Event date:

27-Oct-2024 - 1-Nov-2024

Event place:

Sacramento, United States of America (the)

Number of Pages:

Publisher:

Association for Computing Machinery, New York, NY, USA

Peer reviewed:

Yes

Keywords:

Fuzzing; Benchmarking; Solidity

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.

Project title:

Effective Formal Methods for Smart-Contract Certification: ICT22-007 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)

Research Areas:

Information Systems Engineering: 100%

Science Branch:

1020 - Informatik: 100%

License:

CC BY-SA 4.0