ropper

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