klee

  • truegaze：针对Android/iOS应用程序的静态分析工具，主要关注源代码之外的安全问题。
  • scanmem：内存扫描器，用于在执行过程中隔离任意变量的地址。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • avet：防病毒规避工具
  • upx：终极可执行压缩程序。
  • viper：二进制分析框架。
  • pixd：用于二进制文件的彩色可视化工具。
  • python-peid：压缩可执行文件iDentifer（PEiD）的Python实现。