klee

  • python-jsbeautifier：javascript无模糊和美化器
  • peframe：用于对（可移植可执行）恶意软件执行静态分析的工具。
  • rz-cutter：RIZin逆向工程框架中的Qt和C++图形用户界面
  • backdoor-factory：用shellcode修补win32/64二进制文件。
  • trid：一种实用程序，用于从二进制签名中识别文件类型。
  • pixd：用于二进制文件的彩色可视化工具。
  • flasm：SWF字节码反汇编工具
  • evilize：用于创建MD5冲突二进制文件的工具。