Book
Open access
Oct 2026
Bridging Call Boundaries: Inter-procedural Semantic Completion for Graph-Based Vulnerability Detection
Results indicate that VulSCG improves detection effectiveness while maintaining scalability, since it complements inter-procedural semantics through compact SummaryNodes rather than full callee graph expansion.
Rui-Guo Hu, Dong-Qi Wang, Shu-Jin Yang et al.
· Companion Proceedings of the... · 0 citations