yasca

  • spaf：Static Php Analysis and Fuzzer.
  • slither：用Python 3编写的Solidity静态分析框架。
  • zarn：现代Perl应用程序的轻量级静态安全分析工具。
  • checkov：防止云配置错误，并在构建时在基础设施中以代码、容器映像和开源包的形式发现漏洞。
  • bandit：来自OpenStack security的Python安全linter
  • spotbugs：用于静态分析的工具，用于查找Java代码中的错误。
  • graudit：grep粗略的源代码审计工具。
  • flawfinder：在源代码中搜索潜在的安全缺陷。