klee

  • analyzepesig：分析PE文件的数字签名。
  • jeb-intel：英特尔反编译程序。
  • melkor：一种ELF模糊器，它改变给定的ELF样本中的现有数据，以创建ORC（格式错误的ELF），但是，它不会随机改变值（哑模糊），而是通过使用模糊规则（知识库）模糊某些元数据的半有效值。
  • rizin：用于禁用、调试、分析和操作二进制文件的开源工具
  • bokken：Radare2和Pyew的GUI。
  • unifuzzer：基于Unicorn和LibFuzzer的封闭源代码二进制文件的模糊化工具。
  • valgrind：帮助查找程序内存管理问题的工具
  • patchkit：从python强大的二进制补丁。