klee

  • wcc：巫术编译器集合。
  • beebug：用于检查可利用性的工具。
  • pe-sieve：扫描给定进程。识别并转储各种潜在的恶意植入（替换/注入的PEs、外壳代码、钩子、内存补丁）。
  • bsdiff：bsdiff和bspatch是用于构建和应用二进制文件修补程序的工具。
  • python-lief：库到仪器可执行格式。
  • smap：Shellcode映射器-用于Shellcode分析的简便工具。
  • innounp：Inno安装解包。
  • proctal：提供一个命令行接口和一个C库来操作Linux上正在运行的程序的地址空间。