manticore

  • gadgetinspector：字节码分析器，用于在Java应用程序中查找反序列化小工具链。
  • radare2-unicorn：radare2的独角兽模拟器插件。
  • volafox：Mac OS X内存分析工具包。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • oledump：分析OLE文件（复合文件二进制格式）。这些文件包含数据流。此工具允许您分析这些流。
  • peframe：用于对（可移植可执行）恶意软件执行静态分析的工具。
  • python-frida：面向开发人员、逆向工程师和安全研究人员的动态工具工具包。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。