Smart contracts, primarily written in Solidity, are integral to blockchain software applications, yet precise analysis and maintenance are hindered by the limitations of existing differencing tools. We introduce SoliDiffy, a novel Abstract Syntax Tree (AST) differencing tool specifically designed for Solidity. SoliDiffy enables fine-grained analysis by generating accurate and concise edit scripts of smart contracts, making it ideal for downstream tasks such as vulnerability detection, automated code repair, and code reviews. Our comprehensive evaluation on a large dataset of real-world Solidity contracts demonstrates that SoliDiffy delivers shorter and more precise edit scripts compared to state-of-the-art tools, while performing consistently in complex contract modifications. SoliDiffy is made publicly available at https://github.com/mojtaba-eshghie/SoliDiffy.

翻译：智能合约主要采用Solidity语言编写，是区块链软件应用的核心组成部分，然而现有差异分析工具的局限性阻碍了对其的精确分析与维护。本文提出SoliDiffy，一种专门为Solidity设计的创新型抽象语法树差异分析工具。该工具通过生成精确简洁的智能合约编辑脚本，支持细粒度分析，特别适用于漏洞检测、自动化代码修复和代码审查等下游任务。我们在真实Solidity合约的大型数据集上进行综合评估，结果表明相较于现有先进工具，SoliDiffy能生成更简短且更精确的编辑脚本，同时在复杂合约修改中保持稳定性能。SoliDiffy已在https://github.com/mojtaba-eshghie/SoliDiffy公开提供。