Scholarlink

<p>As Solidity becomes the dominant language for blockchain smart contracts, efficient debugging grows increasingly critical. However, current Solidity debugging remains inefficient: developers must compile, deploy, set up transactions, and trace bytecode execution step by step. This process is too slow for practical use. To address this challenge, this paper presents <span>SolQDebug</span>, the first edit-time debugging assistant for Solidity designed for interactive analysis within a single contract/transaction context, providing abstract value summaries with millisecond feedback directly on source code. Developers specify symbolic interval inputs through annotations and compare them against abstract interpretation results, thereby capturing multiple input scenarios over various execution paths in a single analysis. <span>SolQDebug</span> was evaluated on 30 real-world functions from DAppSCAN, achieving millisecond-scale feedback. This paper also synthesizes experimental observations on annotation patterns for arithmetic operations and loop constructs into practical guidelines. These results demonstrate that <span>SolQDebug</span> serves as an effective edit-time debugging assistant for Solidity development.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

SolQDebug: Debug solidity quickly for interactive immediacy in smart contract development

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年5月26日

查看全文
  • Inseong Jeon,
  • Sundeuk Kim,
  • Hyunwoo Kim,
  • Hoh Peter In

摘要

As Solidity becomes the dominant language for blockchain smart contracts, efficient debugging grows increasingly critical. However, current Solidity debugging remains inefficient: developers must compile, deploy, set up transactions, and trace bytecode execution step by step. This process is too slow for practical use. To address this challenge, this paper presents SolQDebug, the first edit-time debugging assistant for Solidity designed for interactive analysis within a single contract/transaction context, providing abstract value summaries with millisecond feedback directly on source code. Developers specify symbolic interval inputs through annotations and compare them against abstract interpretation results, thereby capturing multiple input scenarios over various execution paths in a single analysis. SolQDebug was evaluated on 30 real-world functions from DAppSCAN, achieving millisecond-scale feedback. This paper also synthesizes experimental observations on annotation patterns for arithmetic operations and loop constructs into practical guidelines. These results demonstrate that SolQDebug serves as an effective edit-time debugging assistant for Solidity development.