Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts

被引:33
|
作者
Hegedus, Peter [1 ]
机构
[1] MTA SZTE Res Grp Artificial Intelligence, H-6720 Szeged, Hungary
关键词
static analysis; ethereum; smart contracts; metrics; complexity; blockchain; METRICS; SOFTWARE; VALIDATION;
D O I
10.3390/technologies7010006
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
Blockchain-based decentralized cryptocurrency platforms are currently one of the hottest topics in technology. Although most of the interest is generated by cryptocurrency related activities, it is becoming apparent that a much wider spectrum of applications can leverage the blockchain technology. The primary concepts enabling such general use of the blockchain are the so-called smart contracts, which are special programs that run on the blockchain. One of the most popular blockchain platforms that supports smart contracts is Ethereum. As smart contracts typically handle money, ensuring their low number of faults and vulnerabilities are essential. To aid smart contract developers and help to mature the technology, we need analysis tools and studies for smart contracts. As an initiative for this, we propose the adoption of some well-known OO metrics for Solidity smart contracts. Furthermore, we analyze more than 40 thousand Solidity source files with our prototype tool. The results suggest that smart contract programs are short, neither overly complex nor coupled too much, do not rely heavily on inheritance, and either quite well-commented or not commented at all. Moreover, smart contracts could benefit from an external library and dependency management mechanism, as more than 85% of the defined libraries in Solidity files code the same functionalities.
引用
收藏
页数:16
相关论文
共 50 条
  • [11] Smart Money Wasting: Analyzing Gas Cost Drivers of Ethereum Smart Contracts
    Severin, Benedikt
    Hesenius, Marc
    Blum, Florian
    Hettmer, Michael
    Gruhn, Volker
    2022 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2022), 2022, : 293 - 304
  • [12] Improving Supply Chain Management Processes Using Smart Contracts in the Ethereum Network Written in Solidity
    Yigit, Eren
    Dag, Tamer
    APPLIED SCIENCES-BASEL, 2024, 14 (11):
  • [13] Towards a Management Plane for Smart Contracts: Ethereum Case Study
    Khan, Nida
    Lahmadi, Abdelkader
    Francois, Jerome
    State, Radu
    NOMS 2018 - 2018 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, 2018,
  • [14] Confidential Ethereum Smart Contracts
    Yuan, Michael Juntao
    Hynes, Nick
    Long, Ju
    IT PROFESSIONAL, 2022, 24 (06) : 54 - 58
  • [15] A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts
    Garfatta, Ikram
    Klai, Kais
    Graiet, Mohamed
    Gaaloul, Walid
    2021 IEEE 30TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE 2021), 2021, : 69 - 74
  • [16] DeSG: Towards Generating Valid Solidity Smart Contracts with Deep Learning
    Tian, Zhenzhou
    Wang, Fanfan
    ADVANCES IN NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, ICNC-FSKD 2022, 2023, 153 : 85 - 92
  • [17] Lightweight extension of an execution environment for safer function calls in Solidity/Ethereum Virtual Machine smart contracts
    Lee, Sooyeon
    Cho, Eun-Sun
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2021), 2021, : 689 - 695
  • [18] Robust Vulnerability Detection in Solidity-Based Ethereum Smart Contracts Using Fine-Tuned Transformer Encoder Models
    Le, Thi-Thu-Huong
    Kim, Jaehyun
    Lee, Sangmyeong
    Kim, Howon
    IEEE ACCESS, 2024, 12 : 154700 - 154717
  • [19] ConFuzz: Towards Large Scale Fuzz Testing of Smart Contracts in Ethereum
    Wong, Taiyu
    Zhang, Chao
    Ni, Yuandong
    Luo, Mingsen
    Chen, HeYing
    Yu, Yufei
    Li, Weilin
    Luo, Xiapu
    Wang, Haoyu
    IEEE INFOCOM 2024-IEEE CONFERENCE ON COMPUTER COMMUNICATIONS, 2024, : 1691 - 1700
  • [20] ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts
    Song, Kunjian
    Matulevicius, Nedas
    de Lima Filho, Eddie B.
    Cordeiro, Lucas C.
    2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), 2022, : 65 - 69