procyon

  • mosca：静态分析工具，用于查找类似grep unix命令的错误。
  • codeql：用于GitHub CodeQL的CLI工具
  • jadx：命令行和GUI工具从Android DEX和APK文件生成Java源代码
  • cpptest：一个可移植的、强大的、简单的单元测试框架，用于处理C++中的自动化测试。
  • valgrind：帮助查找程序内存管理问题的工具
  • beebug：用于检查可利用性的工具。
  • dscanner：瑞士军刀的D源代码。
  • gadgetinspector：字节码分析器，用于在Java应用程序中查找反序列化小工具链。