binaryninja-python

  • truegaze：针对Android/iOS应用程序的静态分析工具，主要关注源代码之外的安全问题。
  • triton：动态二进制分析（DBA）框架。
  • frida-ipa-dump：又一个基于frida的iOS转储解密。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • saruman：ELF反取证执行程序，用于将完整的动态可执行文件注入进程映像（使用线程注入）。
  • elfutils：用于处理ELF对象文件和DWARF调试信息的实用程序。
  • manticore：符号执行工具。
  • dnspy：.NET调试器和程序集编辑器。