Automatically Detecting and Fixing Concurrency Bugs in Go Software Systems

Descriptions

This is the code repository of our ASPLOS paper [1]. GCatch is a suite of static detectors that can analyze large, real Go software. GFix is an automated fixing tool that can synthesize patches for blocking misuse-of-channel (BMOC) bugs detected by GCatch. We evaluated GCatch and GFix in 21 open-source Go projects (e.g., Docker, Kubernetes, gRPC). In total, GCatch detects 149 BMOC bugs and 119 traditional concurrency bugs and GFix successfully generates patches for 124 BMOC bugs. The detailed experimental data can be found here.

[1] Ziheng Liu, Shuofei Zhu, Boqin Qin, Hao Chen, and Linhai Song. “Automatically Detecting and Fixing Concurrency Bugs in Go Software Systems.” In ASPLOS’2021.

About

Statically Detecting Go Concurrency Bugs

GNU General Public License v2.0

Languages

Language:C++ 64.3%Language:Go 23.7%Language:Python 2.5%Language:C 2.2%Language:C# 2.0%Language:Java 1.7%Language:HTML 1.1%Language:OCaml 0.7%Language:CMake 0.6%Language:Jupyter Notebook 0.4%Language:JavaScript 0.2%Language:TypeScript 0.2%Language:SMT 0.1%Language:Shell 0.1%Language:CSS 0.1%Language:Dockerfile 0.0%Language:Batchfile 0.0%Language:Assembly 0.0%Language:Makefile 0.0%