Page 261 - 《软件学报》2026年第3期

1224 软件学报 2026 年第 37 卷第 3 期

programs. In: Proc. of the 41st ACM SIGPLAN Conf. on Programming Language Design and Implementation. London: ACM, 2020.
763–779. [doi: 10.1145/3385412.3386036]
[80] Tu TF, Liu XY, Song LH, Zhang YY. Understanding real-world concurrency bugs in Go. In: Proc. of the 24th Int’l Conf. on Architectural
Support for Programming Languages and Operating Systems. Providence: ACM, 2019. 865–878. [doi: 10.1145/3297858.3304069]
[81] Lange J, Ng N, Toninho B, Yoshida N. Fencing off Go: Liveness and safety for channel-based programming. In: Proc. of the 44th ACM
SIGPLAN Symp. on Principles of Programming Languages. Paris: ACM, 2017. 748–761. [doi: 10.1145/3009837.3009847]
[82] Gabet J, Yoshida N. Static race detection and Mutex safety and liveness for Go programs (Extended version). arXiv:2004.12859, 2021.
[83] Liu ZH, Xia SH, Liang Y, Song LH, Hu H. Who goes first? Detecting Go concurrency bugs via message reordering. In: Proc. of the 27th
ACM Int’l Conf. on Architectural Support for Programming Languages and Operating Systems. Lausanne: ACM, 2022. 888–902.
[doi: 10.1145/3503222.3507753]
[84] Lauinger J, Baumgärtner L, Wickert AK, Mezini M. Uncovering the hidden dangers: Finding unsafe Go code in the wild. In: Proc. of the
19th IEEE Int’l Conf. on Trust, Security and Privacy in Computing and Communications (TrustCom). Guangzhou: IEEE, 2020. 410–417.
[doi: 10.1109/TrustCom50675.2020.00063]
[85] Saioc GV, Shirchenko D, Chabbi M. Unveiling and vanquishing Goroutine leaks in enterprise microservices: A dynamic analysis
approach. In: Proc. of the 2024 IEEE/ACM Int’l Symp. on Code Generation and Optimization (CGO). Edinburgh: IEEE, 2024. 411–422.
[doi: 10.1109/CGO57630.2024.10444835]
[86] Gharat P, Shadab N, Tiwari S, Lahiri S, Lal A. Resource leak checker (RLC#) for C# code using CodeQL. arXiv:2312.01912, 2023.
[87] Youn D, Lee S, Ryu S. Declarative static analysis for multilingual programs using CodeQL. Software: Practice and Experience, 2023,
53(7): 1472–1495. [doi: 10.1002/spe.3199]
[88] He DJ, Gui YJ, Li W, Tao YG, Zou CW, Sui Y, Xue JL. A container-usage-pattern-based context debloating approach for object-
sensitive pointer analysis. Proc. of the ACM on Programming Languages, 2023, 7: 971–1000. [doi: 10.1145/3622832]

作者简介
李清伟, 硕士生, CCF 学生会员, 主要研究领域为程序分析, 程序运行时优化.
丁伯尧, 博士生, CCF 学生会员, 主要研究领域为面向内存安全的程序分析, 多语言程序交互与适配, 程序分析, 程序运行时优化.
张昱, 博士, 教授, 博士生导师, CCF 杰出会员, 主要研究领域为面向新兴计算的编程系统, 软件分析, 系统优化.
陈金宝, 博士生, CCF 学生会员, 主要研究领域为智能软件分析与测试, 软件安全.