klee

  • bvi：一个面向显示的二进制文件编辑器操作起来像“vi”编辑器。
  • rej：一个API和一个图形工具，用于检查和操作Java平台的类文件。
  • ppee：一个专业的PE文件浏览器，用于反向器、恶意软件研究人员和那些希望静态检查PE文件的人员。
  • heaptrace：帮助可视化pwn和调试的堆操作。
  • plasma-disasm：用于x86/ARM/MIPS的交互式反汇编程序。它可以生成带有彩色语法的缩进伪代码。
  • androguard：逆向工程，恶意软件和Android应用程序的goodware分析等。
  • elfkickers：收集ELF公用设施（包括SStrip）
  • amoco：另一个分析二进制文件的工具。