manticore

  • chipsec：用于分析PC平台安全性的框架，包括硬件、系统固件（bios/uefi）和平台组件。
  • objection：工具化的移动Pentest框架。
  • leena：javascript的符号执行引擎
  • angr-py2：UC Santa Barbaras Seclab的下一代二进制分析平台。
  • binaryninja-demo：一种新型的倒车平台（演示版）。
  • lazydroid：作为bash脚本编写的工具，用于促进Android评估的某些方面
  • radare2-keystone：Radare2的Keystone汇编插件。
  • hercules-payload：一种特殊的有效载荷发生器，可以绕过所有防病毒软件。