angr-management

  • exescan：用于检测PE（可移植可执行文件）文件中异常的工具。
  • pin：动态二进制检测工具。
  • beebug：用于检查可利用性的工具。
  • bvi：一个面向显示的二进制文件编辑器操作起来像“vi”编辑器。
  • zelos：一个全面的二进制仿真和检测平台。
  • ecfs：扩展核心文件快照格式。
  • redasm：用QT5作为UI框架，用C++编写的交互式多体系反汇编程序。
  • marc4dasm：这个基于Python的工具是AtmelMarc4（一个4位的HarvardMicro）的反汇编程序。