gohawk: Resource-focused static analysis for Go
Summary
gohawk is an industrial-grade static analyzer for Go focused on resource management and concurrency. It highlights issues like lock order, resource lifetimes, and goroutine ownership, and integrates with existing Go tooling such as go vet. The project has been used to find bugs in Docker, Kubernetes, and Caddy, and provides rich diagnostics and easy drop-in usage.