binaryninja-python

  • qbdi：基于LLVM的动态二进制检测框架。
  • radare2-unicorn：radare2的独角兽模拟器插件。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • bindiff：二进制文件的比较工具，帮助漏洞研究人员和工程师快速发现反汇编代码中的差异和相似之处。
  • valgrind：帮助查找程序内存管理问题的工具
  • pintool2：改进版Pintool。
  • ropper：显示有关二进制文件的信息，并查找用于为不同架构构建ROP链的小工具
  • bagbak：另一个基于frida的应用解密程序。