mara-framework

  • pe-bear：一个免费的PE文件反转工具。
  • bytecode-viewer：Java 8／Android APK逆向工程套件。
  • shed：.NET运行时检查器。
  • androick：一个帮助Android取证分析的python工具。
  • pintool2：改进版Pintool。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • rej：一个API和一个图形工具，用于检查和操作Java平台的类文件。
  • redress：一种用于分析剥离Go二进制文件的工具。