klee

  • truegaze：针对Android/iOS应用程序的静态分析工具，主要关注源代码之外的安全问题。
  • periscope：一个PE文件检查工具。
  • backdoor-factory：用shellcode修补win32/64二进制文件。
  • loadlibrary：将Windows动态链接库移植到Linux。
  • gdb：GNU调试程序
  • gdbgui：基于浏览器的GDB前端使用烧瓶和JavaScript来可视化调试C、C++、GO或RIST。
  • redasm：用QT5作为UI框架，用C++编写的交互式多体系反汇编程序。
  • python2-capstone：一个轻量级的多平台多体系结构拆卸框架