angr-management

  • innounp：Inno安装解包。
  • manticore：符号执行工具。
  • eresi：ERESI逆向工程软件接口。
  • binaryninja-python：用python编写的二进制忍者原型。
  • marc4dasm：这个基于Python的工具是AtmelMarc4（一个4位的HarvardMicro）的反汇编程序。
  • mikrotik-npk：用于操作Mikrotik NPK格式的python工具。
  • chipsec：用于分析PC平台安全性的框架，包括硬件、系统固件（bios/uefi）和平台组件。
  • abcd：操作脚本字节码反汇编程序。