klee

  • oledump：分析OLE文件（复合文件二进制格式）。这些文件包含数据流。此工具允许您分析这些流。
  • unifuzzer：基于Unicorn和LibFuzzer的封闭源代码二进制文件的模糊化工具。
  • apkstudio：一个用于反编译/编辑的IDE，然后重新编译Android应用程序二进制文件。
  • wcc：巫术编译器集合。
  • binaryninja-python：用python编写的二进制忍者原型。
  • pyinstxtractor：PyInstaller提取器。
  • ghidra：一套软件逆向工程（SRE）工具，由NSA的研究理事会开发，以支持网络安全任务。
  • msvpwn：通过二进制修补绕过Windows的身份验证。