klee

  • rbasefind：固件基址搜索工具。
  • libc-database：数据库的libc偏移量，以简化利用。
  • binwally：使用模糊哈希概念（ssdeep）的二进制和目录树比较工具。
  • pintool：该工具可用于解决CTFS事件中的一些逆向挑战。
  • heaptrace：帮助可视化pwn和调试的堆操作。
  • exescan：用于检测PE（可移植可执行文件）文件中异常的工具。
  • python2-jsbeautifier：javascript无模糊和美化器
  • melkor：一种ELF模糊器，它改变给定的ELF样本中的现有数据，以创建ORC（格式错误的ELF），但是，它不会随机改变值（哑模糊），而是通过使用模糊规则（知识库）模糊某些元数据的半有效值。