klee

  • jpegdump：分析jpeg图像的工具读取二进制文件并分析其中的jpeg标记。
  • elfutils：用于处理ELF对象文件和DWARF调试信息的实用程序。
  • voltron：gdb、lldb和vivisec的vdb的用户界面。
  • radare2-cutter：用于RADEAR2逆向工程框架的QT和C++ GUI。
  • binaryninja-python：用python编写的二进制忍者原型。
  • dotpeek：免费的.NET反编译程序和程序集浏览器。
  • jad：Java反编译程序
  • syringe：一个通用的dll&code注入实用程序。