manticore

  • redress：一种用于分析剥离Go二进制文件的工具。
  • zelos：一个全面的二进制仿真和检测平台。
  • objection：工具化的移动Pentest框架。
  • angr-management：这是Angr的GUI。
  • loadlibrary：将Windows动态链接库移植到Linux。
  • mikrotik-npk：用于操作Mikrotik NPK格式的python工具。
  • leena：javascript的符号执行引擎
  • peframe：用于对（可移植可执行）恶意软件执行静态分析的工具。