gokart

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

gokart

GoKart - Go Security Static Analysis GoKart is a static analysis tool for Go that finds vulnerabilities using the SSA single static assignment form of Go source code. It is capable of tracing the source of variables and function arguments to determine whether input sources are safe, which reduces...