Bozhi Wu, Chengjie Liu, Zhiming Li, Yushi Cao, Jun Sun, Shangwei Lin: Enhancing Vulnerability Detection via Inter-procedural Semantic Completion. Proc. ACM Softw. Eng. 2(ISSTA): 825-847 (2025)