dscanner

  • slither用Python 3编写的Solidity静态分析框架。
  • mosca静态分析工具,用于查找类似grep unix命令的错误。
  • yasca多语言静态分析工具集。
  • splint静态检查C程序安全漏洞和编码错误的工具
  • smaliscaSMALI文件的静态代码分析。
  • retire扫描程序检测已知漏洞的JavaScript库的使用。
  • stoq用于企业级自动分析的开源框架。
  • bandit来自OpenStack security的Python安全linter