electric-fence

  • binflow：POSIX函数跟踪。比ftrace更好更快。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • edb：一种基于qt4的二进制模式调试器，其目标是使可用性与ollydbg相当。
  • rz-cutter：RIZin逆向工程框架中的Qt和C++图形用户界面
  • r2ghidra：radare2和R22的深度ghidra反编译集成
  • bindead：二进制文件的静态分析工具
  • vivisect：vdb是一个基于python的静态分析和逆向工程框架，它是一个基于python的研究/反向集中的调试器和Kenshoto的Invisigath编程调试API。
  • r2cutter：RADEAR2逆向工程框架的QT和C++图形用户界面