GoGuard: Efficient Static Blocking Bug Detection for Go
No abstract available.
Related papers
- Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses PLDI 2010
- Static Detection of Dynamic Memory Errors PLDI 1996
- Static deadlock detection for asynchronous C# programs PLDI 2017
- Static detection of asymptotic performance bugs in collection traversals PLDI 2015
- Data Races and Static Analysis for Interrupt-Driven Kernels ESOP 2019
- Canary: practical static detection of inter-thread value-flow bugs PLDI 2021
- Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach OOPSLA 2024
- CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System OOPSLA 2026