ropper

  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • beroot：一个后利用工具，用于检查常见的配置错误，以找到提升我们权限的方法。
  • binaryninja-python：用python编写的二进制忍者原型。
  • slither：用Python 3编写的Solidity静态分析框架。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • aclpwn：使用猎犬攻击Active Directory ACL。
  • crabstick：自动远程/本地文件包含漏洞分析和利用工具。
  • bloodyad：Active Directory权限提升框架。