Evaluation of Contemporary Smart Contract Analysis Tools

Baocheng Wang, Shiping Chen, Qin Wang

2023

Abstract

Smart contracts are an innovative technology built into Blockchain 2.0 that enables the same program (business logic) to run on multiple nodes for consistent results. Smart contracts are widely used in current Blockchain systems such as Ethereum for different purposes such as transferring cryptocurrencies. However, smart contracts can be vulnerable due to intentional or unintentional injection of bugs, and due to the immutable nature of the Blockchain, any bugs or errors become permanent once published, which can lead to smart contract developers and users suffering from significant economic loss. To avoid such problems, it is necessary to perform vulnerabilities detection to the smart contracts before deployment, and a large number of analysis tools have also emerged to ensure the security. However, the quality of the analysis tools that currently exist on the market varies widely, and there is a lack of systematic quality assessment of these tools. Our research aims to fill this gap by conducting a systematic evaluation of some existing smart contract analysis tools.

Paper Citation

in Harvard Style

Wang B., Chen S. and Wang Q. (2023). Evaluation of Contemporary Smart Contract Analysis Tools. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-647-7, SciTePress, pages 322-329. DOI: 10.5220/0011769600003464

in Bibtex Style

@conference{enase23,
author={Baocheng Wang and Shiping Chen and Qin Wang},
title={Evaluation of Contemporary Smart Contract Analysis Tools},
booktitle={Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2023},
pages={322-329},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011769600003464},
isbn={978-989-758-647-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Evaluation of Contemporary Smart Contract Analysis Tools
SN - 978-989-758-647-7
AU - Wang B.
AU - Chen S.
AU - Wang Q.
PY - 2023
SP - 322
EP - 329
DO - 10.5220/0011769600003464
PB - SciTePress