gokart

GoKart - Go 安全静态分析 GoKart 是一款针对 Go 语言的静态分析工具，它利用 Go 源码的 SSA（单静态赋值）形式来发现漏洞。该工具能够追踪变量和函数参数的来源，判断输入源是否安全，从而相比其他 Go 安全扫描器减少误报数量。例如，通常与变量拼接的 SQL 查询可能被标记为 SQL 注入；但 GoKart 能够判断该变量是否实际上是常量或常量等价物，这种情况下并不存在漏洞。 GoKart 还为 Chariot （Praetorian 的安全平台）提供动力，帮助您发现、管理并修复源码及云环境中的漏洞。Chariot 让您能够轻松对源码进行自动化、持续的 GoKart...