slither

  • 描述：用Python 3编写的Solidity静态分析框架。
  • 类别：
  • 版本：1486.c5421ef
  • 官网：
  • 更新：2019-11-15
  • 标签：
  • sjet：Siberas JMX开发工具包。
  • ghauri：一种高级的跨平台工具，可自动检测和利用SQL注入安全漏洞。
  • gvmd：绿骨漏洞管理器
  • spotbugs：用于静态分析的工具，用于查找Java代码中的错误。
  • sigploit：电信信号开发框架-SS7、GTP、直径和SIP。
  • horusec：静态代码分析，用于识别多种语言的安全缺陷。
  • google-explorer：google mass exploit robot-进行google搜索，并解析结果以获得您定义的特定漏洞。
  • tactical-exploitation：现代战术开发工具包。