cflow

  • mosca：静态分析工具，用于查找类似grep unix命令的错误。
  • procyon：一套Java元编程工具，专注于代码生成和分析。
  • tell-me-your-secrets：在任何机器上从120多个不同的签名中查找秘密。
  • smalisca：SMALI文件的静态代码分析。
  • checkov：防止云配置错误，并在构建时在基础设施中以代码、容器映像和开源包的形式发现漏洞。
  • semgrep：多种语言的轻量级静态分析。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • peach-fuzz：简单漏洞扫描框架。