klee

  • pin：动态二进制检测工具。
  • shellnoob：简化shellcode编写和调试的工具包
  • binaryninja-python：用python编写的二进制忍者原型。
  • frida-ios-dump：从越狱设备中提取解密的ipa。
  • Dwarf：基于Pyqt5和Frida的全功能多架构/OS逆向工程调试器。
  • pintool2：改进版Pintool。
  • jdeserialize：解释Java序列化对象的库。它还附带了一个命令行工具，可以生成可编译的类声明、提取块数据和打印实例值的文本表示。
  • ecfs：扩展核心文件快照格式。