Website of the framework for static analysis of Go projects - View it on GitHub