klee

  • libc-database：数据库的libc偏移量，以简化利用。
  • exe2image：一个简单的实用程序，可以将exe文件转换为jpeg图像，反之亦然。
  • bgrep：二进制GRP.
  • metame：用于任意可执行文件的简单变形代码引擎。
  • swfintruder：测试Flash电影安全性的第一个工具。用于SWF外部电影的运行时分析器。它有助于发现闪光灯的缺陷。
  • eresi：ERESI逆向工程软件接口。
  • oletools：用于分析Microsoft OLE2文件的工具。
  • Detect-It-Easy：一款跨平台的PE查壳工具。