mara-framework

  • redasm：用QT5作为UI框架，用C++编写的交互式多体系反汇编程序。
  • jbe：Java字节码编辑器，适用于查看和修改Java类文件。
  • recaf：现代Java字节码编辑器。
  • pintool：该工具可用于解决CTFS事件中的一些逆向挑战。
  • binwalk：用于搜索给定二进制图像以查找嵌入文件的工具
  • truegaze：针对Android/iOS应用程序的静态分析工具，主要关注源代码之外的安全问题。
  • python-frida：面向开发人员、逆向工程师和安全研究人员的动态工具工具包。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。