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 条
  • [21] Modeling and Verification of Solidity Smart Contracts with the B Method
    Baba, Faycal
    Mammar, Amel
    Frappier, Marc
    Laleau, Regine
    ENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2024, 2025, 14784 : 159 - 178
  • [22] SmartGraph: Static Analysis Tool for Solidity Smart Contracts
    Zhukov, Andrei
    Korkhov, Vladimir
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS-ICCSA 2023 WORKSHOPS, PT I, 2023, 14104 : 584 - 598
  • [23] Defect Prediction for Solidity Smart Contracts Based on Software Measurement
    Yang H.-W.
    Cui Z.-Q.
    Chen X.
    Jia M.-H.
    Zheng L.-W.
    Liu J.-B.
    Ruan Jian Xue Bao/Journal of Software, 2022, 33 (05): : 1587 - 1611
  • [24] Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
    Jiao, Jiao
    Kan, Shuanglong
    Lin, Shang-Wei
    Sanan, David
    Liu, Yang
    Sun, Jun
    2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, : 1695 - 1712
  • [25] Toward the Ontological Modeling of Smart Contracts: A Solidity Use Case
    Cano-Benito, Juan
    Cimmino, Andrea
    Garcia-Castro, Raul
    IEEE ACCESS, 2021, 9 : 140156 - 140172
  • [26] SOLC-VERIFY: A Modular Verifier for Solidity Smart Contracts
    Hajdu, Akos
    Jovanovic, Dejan
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, VSTTE 2019, 2020, 12031 : 161 - 179
  • [27] A New Approach to Prevent Reentrant Attack in Solidity Smart Contracts
    Dong, Chunyan
    Li, Yuanhong
    Tan, Liang
    BLOCKCHAIN TECHNOLOGY AND APPLICATION: SECOND CCF CHINA BLOCKCHAIN CONFERENCE (CBCC 2019), 2020, 1176 : 83 - 103
  • [28] 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
  • [29] Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
    Wesley, Scott
    Christakis, Maria
    Navas, Jorge A.
    Trefler, Richard
    Wuestholz, Valentin
    Gurfinkel, Arie
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2022, 2022, 13182 : 425 - 449
  • [30] Model Checking of Solidity Smart Contracts Adopted for Business Processes
    Garfatta, Ikram
    Klai, Kais
    Graiet, Mohamed
    Gaaloul, Walid
    SERVICE-ORIENTED COMPUTING (ICSOC 2021), 2021, 13121 : 116 - 132
12345