klee

  • jad：Java反编译程序
  • bvi：一个面向显示的二进制文件编辑器操作起来像“vi”编辑器。
  • marc4dasm：这个基于Python的工具是AtmelMarc4（一个4位的HarvardMicro）的反汇编程序。
  • viper：二进制分析框架。
  • elidecode：一种使用独角兽引擎进行仿真，利用顶石引擎打印asm代码来解码模糊的shell代码的工具。
  • chipsec：用于分析PC平台安全性的框架，包括硬件、系统固件（bios/uefi）和平台组件。
  • redress：一种用于分析剥离Go二进制文件的工具。
  • trid：一种实用程序，用于从二进制签名中识别文件类型。