procyon

  • checkov：防止云配置错误，并在构建时在基础设施中以代码、容器映像和开源包的形式发现漏洞。
  • rz-cutter：RIZin逆向工程框架中的Qt和C++图形用户界面
  • phpstan：PHP静态分析工具——在不运行代码的情况下发现代码中的错误。
  • ffdec：开源FlashSWF反编译器和编辑器。
  • jbe：Java字节码编辑器，适用于查看和修改Java类文件。
  • rats：用于源代码文件安全性的粗略审核工具。它是一个扫描C、C++、Perl、PHP、Python和Ruby源代码的工具，并标记了常见的与安全相关的编程错误，例如缓冲区溢出和TOCTOU（检查时间、使用时间）竞争条件。顾名思义，该工具只对源代码进行粗略分析。它不会发现每一个错误，也会发现不是错误的东西。手动检查代码仍然是必要的，但使用此工具可以极大地帮助您。
  • gadgetinspector：字节码分析器，用于在Java应用程序中查找反序列化小工具链。
  • php-vulnerability-hunter：一个白盒模糊测试工具能够检测到PHP Web应用程序中的几个类的漏洞。