klee

  • beebug：用于检查可利用性的工具。
  • GetDroid：一个恶意Android APK生成器（反弹Shell），并通过Ngrok沟通。
  • pextractor：一种取证工具，可以从由连接程序或类似程序创建的可执行文件中提取所有文件。
  • voltron：gdb、lldb和vivisec的vdb的用户界面。
  • binaryninja-demo：一种新型的倒车平台（演示版）。
  • packer-io：用于从单个源配置为多个平台创建相同机器映像的工具
  • bagbak：另一个基于frida的应用解密程序。
  • frida-ios-dump：从越狱设备中提取解密的ipa。