marc4dasm

  • libdisasm反汇编程序库。
  • mara-framework移动应用程序逆向工程和分析框架。
  • rizin用于禁用、调试、分析和操作二进制文件的开源工具
  • retdec基于LLVM的可重定目标机器代码解压器。
  • unstripELF解锁工具。
  • bindiff二进制文件的比较工具,帮助漏洞研究人员和工程师快速发现反汇编代码中的差异和相似之处。
  • exposeJavaScript的动态符号执行(DSE)引擎
  • klee构建在LLVM编译器基础结构之上的符号虚拟机。