DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts

被引：0
|
作者：
Morello, Gabriele [1 ]
Eshghie, Mojtaba [1 ]
Bobadilla, Sofia [1 ]
Monperrus, Martin [1 ]
机构：
[1] KTH Royal Institute of Technology, Stockholm, Sweden
来源：
arXiv |
关键词：
Large datasets - Learning systems - Software engineering;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] SSCalc: A Calculus for Solidity Smart Contracts
    Marmsoler, Diego
    Thornton, Billy
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2023, 2023, 14323 : 184 - 204
  • [2] Profiling gas consumption in solidity smart contracts
    Di Sorbo, Andrea
    Laudanna, Sonia
    Vacca, Anna
    Visaggio, Corrado A.
    Canfora, Gerardo
    JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 186
  • [3] SmartBugs: A Framework to Analyze Solidity Smart Contracts
    Ferreira, Joao F.
    Cruz, Pedro
    Durieux, Thomas
    Abreu, Rui
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 1349 - 1352
  • [4] Characterizing Efficiency Optimizations in Solidity Smart Contracts
    Brandstaetter, Tamara
    Schulte, Stefan
    Cito, Juergen
    Borkowski, Michael
    2020 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020), 2020, : 281 - 290
  • [5] A Study of Inline Assembly in Solidity Smart Contracts
    Chaliasos, Stefanos
    Gervais, Arthur
    Livshits, Benjamin
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [6] Deductive verification of solidity smart contracts with SSCalc
    Marmsoler, Diego
    Thornton, Billy
    SCIENCE OF COMPUTER PROGRAMMING, 2025, 243
  • [7] Investigation on Vulnerabilities Location in Solidity Smart Contracts
    Staderini, Mirko
    Bondavalli, Andrea
    BLOCKCHAIN AND APPLICATIONS, 2022, 320 : 199 - 211
  • [8] Static Detection of Missing Validations in Solidity Smart Contracts
    Munir, Sundas
    Taha, Walid
    Baig, Mirza Sanam Iqbal
    2024 IEEE INTERNATIONAL CONFERENCE ON CYBER SECURITY AND RESILIENCE, CSR, 2024, : 413 - 420
  • [9] Demystifying the Composition and Code Reuse in Solidity Smart Contracts
    Sun, Kairan
    Xu, Zhengzi
    Liu, Chengwei
    Li, Kaixuan
    Liu, Yang
    PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 796 - 807
  • [10] ReSuMo: Regression Mutation Testing for Solidity Smart Contracts
    Barboni, Morena
    Casoni, Francesco
    Morichetta, Andrea
    Polini, Andrea
    QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2022, 2022, 1621 : 61 - 76
12345