angr-management

  • procdump：根据性能触发器生成coredumps。
  • ltrace：跟踪动态链接程序中的运行时库调用
  • rp：一个完整的CPP编写工具，旨在查找PE/ELF/Mach-O x86/X64二进制文件中的ROP序列。
  • python-frida：面向开发人员、逆向工程师和安全研究人员的动态工具工具包。
  • binnavi：一种二进制分析IDE，允许检查、导航、编辑和注释控制流图和反汇编代码的调用图。
  • radare2-cutter：用于RADEAR2逆向工程框架的QT和C++ GUI。
  • jeb-arm：ARM反编译程序。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。