klee

  • netzob：一种用于逆向工程、流量生成和通信协议模糊化的开源工具。
  • backdoor-factory：用shellcode修补win32/64二进制文件。
  • bindead：二进制文件的静态分析工具
  • redasm：用QT5作为UI框架，用C++编写的交互式多体系反汇编程序。
  • msvpwn：通过二进制修补绕过Windows的身份验证。
  • lief：库到仪器的可执行格式。
  • jeb-intel：英特尔反编译程序。
  • pin：动态二进制检测工具。