binaryninja-python

  • manticore：符号执行工具。
  • qbdi：基于LLVM的动态二进制检测框架。
  • truegaze：针对Android/iOS应用程序的静态分析工具，主要关注源代码之外的安全问题。
  • oledump：分析OLE文件（复合文件二进制格式）。这些文件包含数据流。此工具允许您分析这些流。
  • sherlocked：通用脚本打包程序——将任何类型的脚本转换为受保护的ELF可执行文件，并用反调试加密。
  • zelos：一个全面的二进制仿真和检测平台。
  • dexpatcher：使用Java修改源代码级别的Android DEX/APK文件。
  • gadgetinspector：字节码分析器，用于在Java应用程序中查找反序列化小工具链。