klee

  • ctypes-sh：允许您从bash中调用共享库中的例程。
  • malwasm：用于恶意软件反向工程的脱机调试器。
  • angr-py2：UC Santa Barbaras Seclab的下一代二进制分析平台。
  • elfkickers：收集ELF公用设施（包括SStrip）
  • pintool2：改进版Pintool。
  • electric-fence：malloc（3）调试器，使用虚拟内存硬件检测非法内存访问。
  • shed：.NET运行时检查器。
  • zelos：一个全面的二进制仿真和检测平台。