klee

  • linux-inject：用于将共享对象注入Linux进程的工具。
  • saruman：ELF反取证执行程序，用于将完整的动态可执行文件注入进程映像（使用线程注入）。
  • gef：多体系结构GDB增强功能，适用于开发人员和反向工程师。
  • binflow：POSIX函数跟踪。比ftrace更好更快。
  • gdbgui：基于浏览器的GDB前端使用烧瓶和JavaScript来可视化调试C、C++、GO或RIST。
  • imagejs：将javascript打包成有效图像文件的小工具。
  • bindiff：二进制文件的比较工具，帮助漏洞研究人员和工程师快速发现反汇编代码中的差异和相似之处。
  • triton：动态二进制分析（DBA）框架。