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