klee

  • triton：动态二进制分析（DBA）框架。
  • radare2-unicorn：radare2的独角兽模拟器插件。
  • dissector：此代码解析ELF文件中的内部数据结构。它支持x86和x86_64架构，并在Linux下运行。
  • lazydroid：作为bash脚本编写的工具，用于促进Android评估的某些方面
  • recstudio：跨平台交互式反编译器
  • python-jsbeautifier：javascript无模糊和美化器
  • python2-oletools：分析Microsoft OLE2文件的工具。
  • gdbgui：基于浏览器的GDB前端使用烧瓶和JavaScript来可视化调试C、C++、GO或RIST。