GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go
GoPV is a static analyzer for detecting blocking concurrency bugs due to misuse of shared-memory synchronization primitive in Go. It performs concurrency analysis and (post-)dominator analysis based on call graph and control flow graphs to detect potential concurrency bugs in Go programs. The experimental results show that GoPV detects all blocking concurrency bugs related to shared-memory synchronization on eight benchmark programs. In addition, GoPV uncovers 17 such bugs in 21 large Go applications within 2.78 hours, demonstrating its effectiveness and efficiency.
Authors
- Wei Song (ORCID: https://orcid.org/0000-0002-4324-3382)
- Jeff Huang (ORCID: https://orcid.org/0000-0003-1393-0752)
- Xiaofan Xu (ORCID: https://orcid.org/0009-0008-5760-731X)
Institutions
- Nanjing University of Science and Technology (CN)
- Texas A&M University (US)
Publication Details
- Published
- 2025-06-06
- DOI
- https://doi.org/10.1145/3713081.3731734
- Primary Topic
- Parallel Computing and Optimization Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Natural Science Foundation of China