slither

  • 描述：用Python 3编写的Solidity静态分析框架。
  • 类别：
  • 版本：1486.c5421ef
  • 官网：
  • 更新：2019-11-15
  • 标签：
  • pret：打印机开发工具包-使垃圾桶潜水过时的工具。
  • spotbugs：用于静态分析的工具，用于查找Java代码中的错误。
  • katana-framework：一个旨在统一通用审计工具的框架，这些工具是通用测试工具（网络、Web、桌面和其他）。
  • xrop：用于生成ARM、AARCH64、x86、MIPS、PPC、RISCV、SH4和SPARC的ROP小工具的工具。
  • smplshllctrlr：PHP命令注入开发工具。
  • pathzuzu：检查路径替换漏洞并记录由易受攻击的可执行文件执行的命令。
  • drinkme：Shellcode测试线束。
  • hackredis：扫描和利用Redis服务器的简单工具。