klee

  • jadx：命令行和GUI工具从Android DEX和APK文件生成Java源代码
  • beebug：用于检查可利用性的工具。
  • rr：记录和重放框架。
  • gostringsr2：使用radare2从Go二进制文件中提取字符串。
  • stringsifter：机器学习工具，根据字符串与恶意软件分析的相关性自动排列字符串。
  • wcc：巫术编译器集合。
  • bsdiff：bsdiff和bspatch是用于构建和应用二进制文件修补程序的工具。
  • binwally：使用模糊哈希概念（ssdeep）的二进制和目录树比较工具。