klee

  • python2-capstone：一个轻量级的多平台多体系结构拆卸框架
  • bgrep：二进制GRP.
  • metame：用于任意可执行文件的简单变形代码引擎。
  • manticore：符号执行工具。
  • analyzepesig：分析PE文件的数字签名。
  • pin：动态二进制检测工具。
  • GetDroid：一个恶意Android APK生成器（反弹Shell），并通过Ngrok沟通。
  • bokken：Radare2和Pyew的GUI。