manticore

  • ecfs：扩展核心文件快照格式。
  • pe-bear：一个免费的PE文件反转工具。
  • python-oletools：分析Microsoft OLE2文件的工具。
  • rp：一个完整的CPP编写工具，旨在查找PE/ELF/Mach-O x86/X64二进制文件中的ROP序列。
  • binnavi：一种二进制分析IDE，允许检查、导航、编辑和注释控制流图和反汇编代码的调用图。
  • bindead：二进制文件的静态分析工具
  • procdump：根据性能触发器生成coredumps。
  • pin：动态二进制检测工具。