mara-framework

  • angr-py2：UC Santa Barbaras Seclab的下一代二进制分析平台。
  • appmon：一个运行时安全测试和分析框架，用于MacOS、iOS和Android上的本机应用程序，它是使用frida构建的。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • gtp-scan：一个小的python脚本，用于扫描讲GTP（GPRS隧道协议）的主机。
  • rvi-capture：捕获iOS设备发送或接收的数据包。
  • amoco：另一个分析二进制文件的工具。
  • dynamorio：动态二进制检测框架。
  • radare2：radare2是一个开源的逆向工程和二进制分析框架