Page 398 - 《软件学报》2025年第12期

杨慧文 等: 基于目标制导符号执行的智能合约安全漏洞检测 5779

[49] Romano A, Engler D. Expression reduction from programs in a symbolic binary executor. In: Proc. of the 20th Int’l Symp. on Model
Checking Software. Stony Brook: Springer, 2013. 301–319. [doi: 10.1007/978-3-642-39176-7_19]
[50] Visser W, Geldenhuys J, Dwyer MB. Green: Reducing, reusing and recycling constraints in program analysis. In: Proc. of the 20th ACM
SIGSOFT Int’l Symp. on the Foundations of Software Engineering. Cary North: ACM, 2012. 58. [doi: 10.1145/2393596.2393665]

附中文参考文献:
[1] 袁勇, 王飞跃. 区块链技术发展现状与展望. 自动化学报, 2016, 42(4): 481–494. [doi: 10.16383/j.aas.2016.c160158]
[3] 欧阳丽炜, 王帅, 袁勇, 倪晓春, 王飞跃. 智能合约: 架构及进展. 自动化学报, 2019, 45(3): 445–457. [doi: 10.16383/j.aas.c180586]
[13] 杨慧文, 崔展齐, 陈翔, 贾明华, 郑丽伟, 刘建宾. 基于软件度量的 Solidity 智能合约缺陷预测方法. 软件学报, 2022, 33(5): 1587–
1611. http://www.jos.org.cn/1000-9825/6550.htm [doi: 10.13328/j.cnki.jos.006550]
[23] 钱鹏, 刘振广, 何钦铭, 黄步添, 田端正, 王勋. 智能合约安全漏洞检测技术研究综述. 软件学报, 2022, 33(8): 3059–3085. http://www.
jos.org.cn/1000-9825/6375.htm [doi: 10.13328/j.cnki.jos.006375]
[24] 付梦琳, 吴礼发, 洪征, 冯文博. 智能合约安全漏洞挖掘技术研究. 计算机应用, 2019, 39(7): 1959–1966. [doi: 10.11772/j.issn.1001-
9081.2019010082]
[25] 倪远东, 张超, 殷婷婷. 智能合约安全漏洞研究综述. 信息安全学报, 2020, 5(3): 78–99. [doi: 10.19363/J.cnki.cn10-1380/tn.2020.05.07]
[26] 郑忠斌, 王朝栋, 蔡佳浩. 智能合约的安全研究现状与检测方法分析综述. 信息安全与通信保密, 2020(7): 93–105. [doi: 10.3969/
j.issn.1009-8054.2020.07.012]
[27] 涂良琼, 孙小兵, 张佳乐, 蔡杰, 李斌, 薄莉莉. 智能合约漏洞检测工具研究综述. 计算机科学, 2021, 48(11): 79–88. [doi: 10.11896/
jsjkx.210600117]
[28] 甘水滔, 王林章, 谢向辉, 秦晓军, 周林, 陈左宁. 一种基于程序功能标签切片的制导符号执行分析方法. 软件学报, 2019, 30(11): 3259–
3280. http://www.jos.org.cn/1000-9825/5562.htm [doi: 10.13328/j.cnki.jos.005562]
[29] 鲍铁匀, 高凤娟, 周严, 李游, 王林章, 李宣东. 基于目标制导符号执行的静态缓冲区溢出警报自动确认技术. 信息安全学报, 2016,
1(2): 46–60. [doi: 10.19363/j.cnki.cn10-1380/tn.2016.02.005]
[30] 崔展齐, 王林章, 李宣东. 一种目标制导的混合执行测试方法. 计算机学报, 2011, 34(6): 953–964. [doi: 10.3724/SP.J.1016.2011.
00953]
[32] 张健, 张超, 玄跻峰, 熊英飞, 王千祥, 梁彬, 李炼, 窦文生, 陈振邦, 陈立前, 蔡彦. 程序分析研究进展. 软件学报, 2019, 30(1): 80–109.
http://www.jos.org.cn/1000-9825/5651.htm [doi: 10.13328/j.cnki.jos.005651]
[33] 梅宏, 王千祥, 张路, 王戟. 软件分析技术进展. 计算机学报, 2009, 32(9): 1697–1710. [doi: 10.3724/SP.J.1016.2009.01697]
[40] 李筱, 周严, 李孟宸, 陈园军, Xu GQ, 王林章, 李宣东. C/C++程序静态内存泄漏警报自动确认方法. 软件学报, 2017, 28(4): 827–844.
http://www.jos.org.cn/1000-9825/5189.htm [doi: 10.13328/j.cnki.jos.005189]

杨慧文(1997－), 男, 硕士生, 主要研究领域为智 郑丽伟(1979－), 男, 博士, 副教授, CCF 专业会
能合约漏洞检测技术. 员, 主要研究领域为需求软件工程, 社交网络, 数
据质量增强.

崔展齐(1984－), 男, 博士, 教授, CCF 高级会员, 刘建宾(1963－), 男, 博士, 教授, 主要研究领域

主要研究领域为智能化软件工程, 可信人工智能. 为智能软件技术, 模型驱动开发.

陈翔(1980－), 男, 博士, 副教授, CCF 高级会员,

主要研究领域为软件缺陷预测, 软件缺陷定位,

组合测试.