manticore

  • ecfs：扩展核心文件快照格式。
  • patchkit：从python强大的二进制补丁。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • dutas：分析PE文件或外壳代码。
  • manul：一个覆盖率引导的并行模糊器，用于Windows、Linux和MacOS上的开源和黑盒二进制文件。
  • dexpatcher：使用Java修改源代码级别的Android DEX/APK文件。
  • de4dot：.NET除臭剂和解包器。
  • elfparser：跨平台ELF分析。