klee

  • gef：多体系结构GDB增强功能，适用于开发人员和反向工程师。
  • dexpatcher：使用Java修改源代码级别的Android DEX/APK文件。
  • wxhexeditor：一个用于Linux、Windows和MacOSX的免费十六进制编辑器/磁盘编辑器。
  • procdump：根据性能触发器生成coredumps。
  • afl：基于编译时仪器和遗传算法的安全引信
  • truegaze：针对Android/iOS应用程序的静态分析工具，主要关注源代码之外的安全问题。
  • jd-gui：一个独立的图形工具，显示.class文件的Java源代码。
  • swftools：SWF操作和创建实用程序的集合