GCatch: Automatically Detecting Channel-related Non-Blocking Bugs in Go Software Systems


Sponsoring Agency
Ethereum Foundation


In this work, we will extend GCatch to GCatch++, by enhancing it with the capability of detecting channelrelated non-blocking bugs. By pinpointing more concurrency bugs in Go programs, GCatch++ can help programmers resolve those bugs and further improve the reliability of the Go programs.

Research Area