stacoan

  • checkov：防止云配置错误，并在构建时在基础设施中以代码、容器映像和开源包的形式发现漏洞。
  • semgrep：多种语言的轻量级静态分析。
  • splint：静态检查C程序安全漏洞和编码错误的工具
  • quark-engine：安卓恶意软件（分析|评分）系统
  • androbugs：一个高效的安卓漏洞扫描器，帮助开发者或黑客发现安卓应用程序中的潜在安全漏洞。
  • slither：用Python 3编写的Solidity静态分析框架。
  • sigploit：电信信号开发框架-SS7、GTP、直径和SIP。
  • retire：扫描程序检测已知漏洞的JavaScript库的使用。