klee

  • leena：javascript的符号执行引擎
  • pin：动态二进制检测工具。
  • binflow：POSIX函数跟踪。比ftrace更好更快。
  • swfintruder：测试Flash电影安全性的第一个工具。用于SWF外部电影的运行时分析器。它有助于发现闪光灯的缺陷。
  • pwndbg：使用gdb进行调试变得不那么糟糕。
  • jbe：Java字节码编辑器，适用于查看和修改Java类文件。
  • radare2-cutter：用于RADEAR2逆向工程框架的QT和C++ GUI。
  • frida-ios-dump：从越狱设备中提取解密的ipa。