klee

  • binflow：POSIX函数跟踪。比ftrace更好更快。
  • jsparser：使用Tornado和JSBeautifier解析javascript以发现有趣的enpoint。
  • elfkickers：收集ELF公用设施（包括SStrip）
  • peda：python利用gdb的开发辅助
  • bindiff：二进制文件的比较工具，帮助漏洞研究人员和工程师快速发现反汇编代码中的差异和相似之处。
  • linux-inject：用于将共享对象注入Linux进程的工具。
  • oledump：分析OLE文件（复合文件二进制格式）。这些文件包含数据流。此工具允许您分析这些流。
  • pintool2：改进版Pintool。