github.com/nickng/goncurrency-analysis-framework (go): Demo tool for Go concurrency analysis framework
Keywords: concurrency|golang|research|static-analysis