klee

  • ppee：一个专业的PE文件浏览器，用于反向器、恶意软件研究人员和那些希望静态检查PE文件的人员。
  • bsdiff：bsdiff和bspatch是用于构建和应用二进制文件修补程序的工具。
  • mara-framework：移动应用程序逆向工程和分析框架。
  • manticore：符号执行工具。
  • haystack：用于从进程内存堆分析内存结构取证中查找C结构的python框架。
  • python2-frida-tools：Frida CLI工具。
  • dotpeek：免费的.NET反编译程序和程序集浏览器。
  • qbdi：基于LLVM的动态二进制检测框架。