klee

  • python-lief：库到仪器可执行格式。
  • plasma：x86/ARM/MIPS的交互式反汇编程序。它可以用彩色语法生成缩进伪代码。
  • exe2image：一个简单的实用程序，可以将exe文件转换为jpeg图像，反之亦然。
  • jeb-webasm：WebAssembly反编译程序。
  • electric-fence：malloc（3）调试器，使用虚拟内存硬件检测非法内存访问。
  • viper：二进制分析框架。
  • ctypes-sh：允许您从bash中调用共享库中的例程。
  • periscope：一个PE文件检查工具。