klee

  • ghidra：一套软件逆向工程（SRE）工具，由NSA的研究理事会开发，以支持网络安全任务。
  • dutas：分析PE文件或外壳代码。
  • lldb：下一代高性能调试器
  • vivisect：vdb是一个基于python的静态分析和逆向工程框架，它是一个基于python的研究/反向集中的调试器和Kenshoto的Invisigath编程调试API。
  • jd-cli：命令行Java反编译器。
  • haystack：用于从进程内存堆分析内存结构取证中查找C结构的python框架。
  • sea：一种帮助开发二进制程序的工具。
  • trid：一种实用程序，用于从二进制签名中识别文件类型。