klee

  • python2-oletools：分析Microsoft OLE2文件的工具。
  • saleae-logic：我很高兴。
  • manticore：符号执行工具。
  • jeb-intel：英特尔反编译程序。
  • udis86：一个最低限度的反汇编程序库
  • plasma-disasm：用于x86/ARM/MIPS的交互式反汇编程序。它可以生成带有彩色语法的缩进伪代码。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • ropgadget：允许您在二进制文件（ELF格式）上搜索小工具，以方便您使用ROP。