On the Need of Understanding the Failures of Smart Contracts

被引:1
|
作者
Wang, Dabao [1 ]
Liu, Kui [2 ]
Li, Li [1 ]
机构
[1] Monash Univ, Fac Informat Technol, Melbourne, Vic, Australia
[2] Nanjing Univ Aeronaut & Astronaut, Nanjing, Peoples R China
关键词
Smart contract;
D O I
10.1109/MS.2020.3003921
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
When the execution of smart contracts fails, the transaction will not be recorded to provide hints for analysts to improve their automated analyzers. To mitigate this, we present ExecuWatch to watch the execution of smart contracts and report the execution details.
引用
收藏
页码:49 / 54
页数:6
相关论文
共 50 条
  • [1] Understanding Code Reuse in Smart Contracts
    Chen, Xiangping
    Liao, Peiyong
    Zhang, Yixin
    Huang, Yuan
    Zheng, Zibin
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2021), 2021, : 470 - 479
  • [2] Interpretation of Contracts and Smart Contracts: Smart Interpretation or Interpretation of Smart Contracts?
    Cannarsa, Michel
    EUROPEAN REVIEW OF PRIVATE LAW, 2018, 26 (06): : 773 - 785
  • [3] The Need for Legal Regulation of Blockchain and Smart Contracts in the Shipping Industry
    Perkusic, Marko
    Jozipovic, Sime
    Piplica, Damir
    TRANSACTIONS ON MARITIME SCIENCE-TOMS, 2020, 9 (02): : 365 - 373
  • [4] Smart Contracts Contracts
    Bartoletti, Massimo
    FRONTIERS IN BLOCKCHAIN, 2020, 3
  • [5] 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
  • [6] Smart contracts in Spain; the regulation of smart contracts
    Legeren-Molina, Antonio
    REVISTA DE DERECHO CIVIL, 2018, 5 (02): : 193 - 241
  • [7] Voucher tokenisation using blockchain and smart contracts to support people in need
    Harraway, Tricia
    Bekker, James
    SOUTH AFRICAN JOURNAL OF SCIENCE, 2024, 120 (11-12)
  • [8] Future Contracts: Smart Contracts
    Kashyap, Sistla
    Pathak, Pankaj
    CARDIOMETRY, 2022, (24): : 729 - 736
  • [9] Smart contracts
    De Filippi, Primavera
    Wray, Chris
    Sileno, Giovanni
    INTERNET POLICY REVIEW, 2021, 10 (02):
  • [10] Smart contracts
    Meitinger T.H.
    Informatik-Spektrum, 2017, 40 (4) : 371 - 375