stacoan

  • stoq：用于企业级自动分析的开源框架。
  • graudit：grep粗略的源代码审计工具。
  • bof-detector：通过源代码级检查简单地检测BOF漏洞。
  • procyon：一套Java元编程工具，专注于代码生成和分析。
  • yasca：多语言静态分析工具集。
  • jeb-android：Android解压器。
  • leena：javascript的符号执行引擎
  • checkov：防止云配置错误，并在构建时在基础设施中以代码、容器映像和开源包的形式发现漏洞。