slither

  • 描述：用Python 3编写的Solidity静态分析框架。
  • 类别：
  • 版本：1486.c5421ef
  • 官网：
  • 更新：2019-11-15
  • 标签：
  • expose：JavaScript的动态符号执行（DSE）引擎
  • faraday：一种新的概念（IPE）综合渗透测试环境——多用户渗透测试IDE。设计用于在安全审核过程中分发、索引和分析生成的数据。
  • webxploiter：一个OWASP 10大安全扫描器。
  • fortiscan：高性能FortiGate SSL-VPN漏洞扫描和利用工具。
  • jndi-injection-exploit：一个生成JNDI链接的工具可以启动多个服务器来利用JNDI注入漏洞，如Jackson、Fastjson等。
  • thefatrat：TheFatRat a massive exploiting tool: easy tool to generate backdoor and easy tool to post exploitation attack.
  • beef：重点关注Web浏览器的浏览器利用框架
  • cppcheck：一种静态C/C++代码分析工具