klee

  • ltrace：跟踪动态链接程序中的运行时库调用
  • electric-fence：malloc（3）调试器，使用虚拟内存硬件检测非法内存访问。
  • sea：一种帮助开发二进制程序的工具。
  • dexpatcher：使用Java修改源代码级别的Android DEX/APK文件。
  • exe2image：一个简单的实用程序，可以将exe文件转换为jpeg图像，反之亦然。
  • procdump：根据性能触发器生成coredumps。
  • saleae-logic：我很高兴。
  • python-frida-tools：Frida CLI工具。