klee

  • manticore：符号执行工具。
  • dissector：此代码解析ELF文件中的内部数据结构。它支持x86和x86_64架构，并在Linux下运行。
  • rr：记录和重放框架。
  • PowerShell Reverse TCP：用于连接到远程主机的PowerShell脚本
  • cpp2il：一种逆转unity的IL2PP工具链的工具
  • hex2bin：将摩托罗拉和Intel十六进制文件转换为二进制文件。
  • bdfproxy：通过MITM修补二进制文件：后门工厂+Mitmproxy
  • zelos：一个全面的二进制仿真和检测平台。