dfs and bfs in the wild

Building a static analysis tool that detects concurrency bugs in Go