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 条
  • [1] Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts
    Hegedus, Peter
    2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB), 2018, : 35 - 39
  • [2] Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity
    Zakrzewski, Jakub
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 229 - 247
  • [3] Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity
    Woehrer, Maximilian
    Zdun, Uwe
    2018 IEEE 1ST INTERNATIONAL WORKSHOP ON BLOCKCHAIN ORIENTED SOFTWARE ENGINEERING (IWBOSE), 2018, : 2 - 8
  • [4] A Survey of Tools for Analyzing Ethereum Smart Contracts
    di Angelo, Monika
    Salzer, Gernot
    2019 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPCON), 2019, : 69 - 78
  • [5] Characterizing Types of Smart Contracts in the Ethereum Landscape
    di Angelo, Monika
    Salzer, Gernot
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2020, 2020, 12063 : 389 - 404
  • [6] Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum
    Giesen, Jens-Rene
    Andreina, Sebastien
    Rodler, Michael
    Karame, Ghassan O.
    Davi, Lucas
    2022 IEEE SECURE DEVELOPMENT CONFERENCE (SECDEV 2022), 2022, : 3 - 4
  • [7] Towards Efficient Hashing in Ethereum Smart Contracts
    Onica, Emanuel
    Schifirnet, Cosmin-Ionut
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 660 - 666
  • [8] The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts
    Ferreira Torres, Christof
    Iannillo, Antonio Ken
    Gervais, Arthur
    State, Radu
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12674 LNCS : 33 - 52
  • [9] The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts
    Torres, Christof Ferreira
    Iannillo, Antonio Ken
    Gervais, Arthur
    State, Radu
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021, PT I, 2021, 12674 : 33 - 52
  • [10] Towards Principled Compilation of Ethereum Smart Contracts (SoK)
    Arias, Emilio Jesus Gallego
    2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,