IDOL：Solidity 编译器的改进差异化优化级别测试
软件工程
2025-06-17 v1
摘要
随着区块链技术持续演进和成熟，智能合约已成为交易数字化和自动化的关键驱动力。智能合约极大地简化和细化了传统商业交易流程，因此对金融和供应链管理等各行业产生了深远影响。然而，由于智能合约一旦部署便无法修改，合同中的任何漏洞或设计缺陷都难以修复，可能导致重大财务损失甚至法律问题。编译器作为开发过程中的关键组件，直接影响智能合约的质量和安全性。本文创新性地提出了一种名为改进差异化优化级别（IDOL）的方法，用于测试 Solidity 编译器。IDOL 的核心思想是执行逆向优化变换（即把优化形式转换为未优化形式），以生成被测智能合约的语义等价变体，旨在最大化触发编译器优化逻辑的机会。我们对 IDOL 进行了初步评估，截至撰写时已发现三个确认的编译器优化缺陷。
引用
@article{arxiv.2506.12760,
title = {IDOL: Improved Different Optimization Levels Testing for Solidity Compilers},
author = {Lantian Li and Yejian Liang and Zhongxing Yu},
journal= {arXiv preprint arXiv:2506.12760},
year = {2025}
}
备注
Accepted by QRS 2025 (Fast Abstracts track)