klee

  • triton：动态二进制分析（DBA）框架。
  • oletools：用于分析Microsoft OLE2文件的工具。
  • pe-bear：一个免费的PE文件反转工具。
  • viper：二进制分析框架。
  • unifuzzer：基于Unicorn和LibFuzzer的封闭源代码二进制文件的模糊化工具。
  • avet：防病毒规避工具
  • ecfs：扩展核心文件快照格式。
  • netzob：一种用于逆向工程、流量生成和通信协议模糊化的开源工具。