Page 380 - 《软件学报》2026年第1期

揭晚晴 等: 智能合约与 DeFi 协议漏洞检测技术综述 377

[141] Lin LS, Zheng HQ, Su S, Lei K, Chen XF, Tian ZH. An online defense mechanism for DeFi price manipulation attacks. Journal of
Computer Research and Development, 2025, 62(2): 443–457 (in Chinese with English abstract).
[142] Zhang JS, Gao JB, Li Y, Chen ZM, Guan Z, Chen Z. Xscope: Hunting for cross-chain bridge attacks. In: Proc. of the 37th Int’l Conf. on
Automated Software Engineering. Rochester: ACM, 2022. 171. [doi: 10.1145/3551349.3559520]
[143] Liao ZQ, Nan YH, Liang HL, Hao SC, Zhai J, Wu JJ, Zheng ZB. SmartAxe: Detecting cross-chain vulnerabilities in bridge smart
contracts via fine-grained static analysis. In: Proc. of the 2024 ACM on Software Engineering. New York: ACM, 2024. 249–270. [doi:
10.1145/3643738]
[144] Liao ZQ, Zheng ZB, Chen X, Nan YH. SmartDagger: A bytecode-based static analysis approach for detecting cross-contract
vulnerability. In: Proc. of the 31st ACM SIGSOFT Int’l Symp. on Software Testing and Analysis. ACM, 2022. 752–764. [doi: 10.1145/
3533767.3534222]
[145] Wang B, Yuan XH, Duan L, Ma HL, Wang B, Su CH, Wang W. DeFiScanner: Spotting DeFi attacks exploiting logic vulnerabilities on
blockchain. IEEE Trans. on Computational Social Systems, 2024, 11(2): 1577–1588. [doi: 10.1109/TCSS.2022.3228122]
[146] Parhizkari B, Iannillo AK, Torres CF, Banescu S, Xu J, State R. Timely identification of victim addresses in DeFi attacks. In: Proc. of
the 2024 European Symp. on Research in Computer Security. The Hague: Springer, 2024. 394–410. [doi: 10.1007/978-3-031-54204-
6_24]

附中文参考文献
[20] 钱鹏, 刘振广, 何钦铭, 黄步添, 田端正, 王勋. 智能合约安全漏洞检测技术研究综述. 软件学报, 2022, 33(8): 3059–3085. http://www.
jos.org.cn/1000-9825/6375.htm [doi: 10.13328/j.cnki.jos.006375]
[21] 董伟良, 刘哲, 刘逵, 黎立, 葛春鹏, 黄志球. 智能合约漏洞检测技术综述. 软件学报, 2024, 35(1): 38–62. http://www.jos.org.cn/1000-
9825/6810.htm [doi: 10.13328/j.cnki.jos.006810]
[22] 崔展齐, 杨慧文, 陈翔, 王林章. 智能合约安全漏洞检测研究进展. 软件学报, 2024, 35(5): 2235–2267. http://www.jos.org.cn/1000-
9825/7046.htm [doi: 10.13328/j.cnki.jos.007046]
[23] 刘哲旭, 李雷孝, 刘东江, 杜金泽, 林浩, 史建平. 智能合约漏洞检测与修复研究综述. 计算机科学与探索, 2025, 19(4): 854–876.
[doi: 10.3778/j.issn.1673-9418.2405019]
[101] 朱健, 胡凯, 张伯钧. 智能合约的形式化验证方法研究综述. 电子学报, 2021, 49(4): 792–804. [doi: 10.12263/DZXB.20200723]
[106] 王蕾, 李丰, 李炼, 冯晓兵. 污点分析技术的原理和实践应用. 软件学报, 2017, 28(4): 860–882. http://www.jos.org.cn/1000-9825/5190.
htm [doi: 10.13328/j.cnki.jos.005190]
[141] 林炼升, 郑焕钦, 苏申, 雷凯, 陈晓丰, 田志宏. 一种 DeFi 价格操纵攻击在线防御机制. 计算机研究与发展, 2025, 62(2): 443–457.

作者简介
揭晚晴, 博士生, CCF 学生会员, 主要研究领域为 Web3.0 安全, 智能合约安全.
邱望洁, 博士, 副研究员, 博士生导师, CCF 专业会员, 主要研究领域为区块链, 隐私计算.
黄鑫鹏, 博士生, 主要研究领域为区块链, DeFi, 机器学习.
杨浩甫, 本科生, 主要研究领域为区块链, 智能合约安全.
赵冠球, 硕士生, 主要研究领域为区块链, 智能合约安全.
张沁楠, 博士, CCF 专业会员, 主要研究领域为区块链安全, 联邦学习激励机制, 隐私增强技术.
夏清, 博士, 副研究员, CCF 专业会员, 主要研究领域为区块链攻击检测, 大模型应用.
郑宏威, 博士, 主任研究员, 博士生导师, 主要研究领域为区块链, 联邦学习, 隐私计算.
郑志明, 博士, 教授, 博士生导师, CCF 会士, 主要研究领域为区块链, 网络安全, 人工智能.