Meta 开源的静态分析工具，能在编译前扫描 Java、C、C++ 和 Objective-C 代码，提前发现空指针、资源泄漏等潜在缺陷。

Staticcheck 是 Go 语言的进阶静态分析工具，能查出编译器发现不了的 bug、性能问题和可疑代码，帮你在上线前把隐患拦下来。

用类似源码的规则模式做多语言轻量级静态分析，快速找出代码中的缺陷变体，适合在 CI 里做安全与质量扫描。

C/C++ 静态代码分析工具，不用编译就能扫出内存泄漏、越界、未初始化变量等缺陷，适合接入 CI 做代码质量把关。