.png){kind=icon}
返回
SolQDebug: Debug solidity quickly for interactive immediacy in smart contract development
.png){kind=icon}
PRE
AI
DOI：10.1007/s10515-026-00618-9.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
随着Solidity成为区块链智能合约的主导语言，高效调试变得日益关键。然而，当前的Solidity调试仍然效率低下：开发者必须编译、部署、设置交易，并逐行跟踪字节码执行。这一过程对于实际应用来说过于缓慢。为应对这一挑战，本文提出SolQDebug，首个面向Solidity的编辑时调试助手，专为在单个合约/交易上下文内进行交互式分析而设计，直接在源代码上提供毫秒级反馈的抽象值摘要。开发者通过注解指定符号区间输入，并将其与抽象解释结果进行比较，从而在一次分析中捕获不同执行路径上的多种输入场景。SolQDebug在DAppSCAN的30个真实函数上进行了评估，实现了毫秒级反馈。本文还将关于算术运算和循环结构的注解模式的实验观察结果总结为实用指南。这些结果表明，SolQDebug是Solidity开发的有效编辑时调试助手。
Keyword:
Smart contract development
Solidity
Debugging
Abstract interpretation
Incremental analysis
