voltron

  • edb一种基于qt4的二进制模式调试器,其目标是使可用性与ollydbg相当。
  • klee构建在LLVM编译器基础结构之上的符号虚拟机。
  • binflowPOSIX函数跟踪。比ftrace更好更快。
  • vivisectvdb是一个基于python的静态分析和逆向工程框架,它是一个基于python的研究/反向集中的调试器和Kenshoto的Invisigath编程调试API。
  • rr记录和重放框架。
  • pedapython利用gdb的开发辅助
  • rz-ghidrarizin和rz cutter的Deep ghidra反编译器集成
  • rz-cutterRIZin逆向工程框架中的Qt和C++图形用户界面