pintool

  • expose：JavaScript的动态符号执行（DSE）引擎
  • oledump：分析OLE文件（复合文件二进制格式）。这些文件包含数据流。此工具允许您分析这些流。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • shed：.NET运行时检查器。
  • python2-jsbeautifier：javascript无模糊和美化器
  • pintool2：改进版Pintool。
  • exescan：用于检测PE（可移植可执行文件）文件中异常的工具。
  • triton：动态二进制分析（DBA）框架。