klee

  • expimp-lookup：在目录树中的所有可移植可执行文件中查找包含指定字符串的所有导出和导入名称。
  • beebug：用于检查可利用性的工具。
  • frida-extract：基于frida.re的runpe（和mapviewofsection）提取工具。
  • strace：诊断、调试和指导用户空间跟踪程序
  • triton：动态二进制分析（DBA）框架。
  • retdec：基于LLVM的可重定目标机器代码解压器。
  • python2-frida-tools：Frida CLI工具。
  • python-oletools：分析Microsoft OLE2文件的工具。