electric-fence

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