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

초록

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.

키워드