ISSTA 2025 (series) / Tool Demonstrations /
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-memorysynchronizationprimitive 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 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.
Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | Mobile and Concurrency TestingResearch Papers / Tool Demonstrations at Aurora A Chair(s): Li Li Beihang University | ||
16:00 25mTalk | Intention-based GUI Test Migration for Mobile Apps using Large Language Models Research Papers Shaoheng Cao Nanjing University, Minxue Pan Nanjing University, Yuanhong Lan Nanjing University, Xuandong Li Nanjing University DOI | ||
16:25 25mTalk | GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go Research Papers Wei Song Nanjing University of Science and Technology, Xiaofan Xu Nanjing University of Science and Technology, Jeff Huang Texas A&M University DOI | ||
16:50 25mTalk | Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection Research Papers haodong li Beijing University of Posts and Telecommunications, Xiao Cheng Macquarie University, Yanjie Zhao Huazhong University of Science and Technology, Guosheng Xu Beijing University of Posts and Telecommunications, Guoai Xu Harbin Institute of Technology, Shenzhen, Haoyu Wang Huazhong University of Science and Technology DOI | ||
17:15 15mDemonstration | GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go Tool Demonstrations Xiaofan Xu Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University |
Information for Participants
Wed 25 Jun 2025 16:00 - 17:30 at Aurora A - Mobile and Concurrency Testing Chair(s): Li Li
Info for room Aurora A:
Aurora A is the first room in the Aurora wing.
When facing the main Cosmos Hall, access to the Aurora wing is on the right, close to the side entrance of the hotel.