klee

  • pintool2：改进版Pintool。
  • melkor：一种ELF模糊器，它改变给定的ELF样本中的现有数据，以创建ORC（格式错误的ELF），但是，它不会随机改变值（哑模糊），而是通过使用模糊规则（知识库）模糊某些元数据的半有效值。
  • beebug：用于检查可利用性的工具。
  • swftools：SWF操作和创建实用程序的集合
  • elfutils：用于处理ELF对象文件和DWARF调试信息的实用程序。
  • r2ghidra：radare2和R22的深度ghidra反编译集成
  • iaito：RADEAR2逆向工程框架的QT和C++图形用户界面
  • pin：动态二进制检测工具。