viper

  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • python-oletools：分析Microsoft OLE2文件的工具。
  • osslsigncode：实现Microsoft工具signtool部分功能的小工具。exe。
  • lief：库到仪器的可执行格式。
  • radare2：radare2是一个开源的逆向工程和二进制分析框架
  • pextractor：一种取证工具，可以从由连接程序或类似程序创建的可执行文件中提取所有文件。
  • saruman：ELF反取证执行程序，用于将完整的动态可执行文件注入进程映像（使用线程注入）。
  • amoco：另一个分析二进制文件的工具。