GoKart is a static analysis tool for Go that finds vulnerabilities
using the SSA (single static assignment) form of Go source code.