manticore

  • pintool：该工具可用于解决CTFS事件中的一些逆向挑战。
  • binwalk：用于搜索给定二进制图像以查找嵌入文件的工具
  • qbdi：基于LLVM的动态二进制检测框架。
  • dnspy：.NET调试器和程序集编辑器。
  • angr-py2：UC Santa Barbaras Seclab的下一代二进制分析平台。
  • radare2-keystone：Radare2的Keystone汇编插件。
  • packer：用于从单个源配置为多个平台创建相同机器映像的工具
  • python-peid：压缩可执行文件iDentifer（PEiD）的Python实现。