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

Researcher(s)

Sponsoring Agency
Ethereum Foundation

Summary

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

Term
 -