BinGo: Pinpointing Concurrency Bugs in Go via Binary Analysis

Chongxin Zhong, Qidong Zhao, Xu Liu

Golang (also known as Go for short) has become popular in building concurrency programs in distributed systems. As the unique features, Go employs lightweight Goroutines to support…