electric-fence

  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • plasma：x86/ARM/MIPS的交互式反汇编程序。它可以用彩色语法生成缩进伪代码。
  • plasma-disasm：用于x86/ARM/MIPS的交互式反汇编程序。它可以生成带有彩色语法的缩进伪代码。
  • gdb：GNU调试程序
  • edb：一种基于qt4的二进制模式调试器，其目标是使可用性与ollydbg相当。
  • voltron：gdb、lldb和vivisec的vdb的用户界面。
  • binflow：POSIX函数跟踪。比ftrace更好更快。
  • gef：多体系结构GDB增强功能，适用于开发人员和反向工程师。