klee

  • dutas：分析PE文件或外壳代码。
  • soot：一个Java字节码分析和转换框架。
  • expimp-lookup：在目录树中的所有可移植可执行文件中查找包含指定字符串的所有导出和导入名称。
  • quickscope：静态分析windows、linux、osx、可执行文件以及APK文件。
  • haystack：用于从进程内存堆分析内存结构取证中查找C结构的python框架。
  • packer-io：用于从单个源配置为多个平台创建相同机器映像的工具
  • bgrep：二进制GRP.
  • Dwarf：基于Pyqt5和Frida的全功能多架构/OS逆向工程调试器。