binaryninja-demo

  • netzob：一种用于逆向工程、流量生成和通信协议模糊化的开源工具。
  • angr-management：这是Angr的GUI。
  • marc4dasm：这个基于Python的工具是AtmelMarc4（一个4位的HarvardMicro）的反汇编程序。
  • iaito：RADEAR2逆向工程框架的QT和C++图形用户界面
  • r2cutter：RADEAR2逆向工程框架的QT和C++图形用户界面
  • expose：JavaScript的动态符号执行（DSE）引擎
  • origami：旨在提供脚本工具来生成和分析恶意PDF文件。
  • manticore：符号执行工具。