结合迹切片与谓词抽象的智能合约规约挖掘
软件工程
2025-04-30 v2
摘要
智能合约是运行在区块链上以实现去中心化应用的计算机程序。合约规约的缺失阻碍了合约理解和测试等日常任务。在本工作中，我们提出了一种规约挖掘方法，从过去的交易历史中推断合约规约。该方法推导出函数调用的高层行为自动机，并伴随从交易历史中统计推断出的程序不变式。我们将该方法实现为工具SMCON，并在十一个被广泛研究的Azure基准智能合约和六个流行的真实世界DApp智能合约上进行了评估。实验表明，SMCON挖掘出合理准确的规约，可用于增强智能合约的符号分析，实现更高的代码覆盖率和高达56%的加速，并协助DApp开发者维护高质量的文档和测试套件。
引用
@article{arxiv.2403.13279,
title = {Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction},
author = {Ye Liu and Yixuan Liu and Yi Li and Cyrille Artho},
journal= {arXiv preprint arXiv:2403.13279},
year = {2025}
}