radare2-keystone

  • rizin用于禁用、调试、分析和操作二进制文件的开源工具
  • afl基于编译时仪器和遗传算法的安全引信
  • klee构建在LLVM编译器基础结构之上的符号虚拟机。
  • jeb-armARM反编译程序。
  • amoco另一个分析二进制文件的工具。
  • lief库到仪器的可执行格式。
  • backdoor-factory用shellcode修补win32/64二进制文件。
  • truegaze针对Android/iOS应用程序的静态分析工具,主要关注源代码之外的安全问题。