yasca

  • spaf：Static Php Analysis and Fuzzer.
  • mosca：静态分析工具，用于查找类似grep unix命令的错误。
  • spotbugs：用于静态分析的工具，用于查找Java代码中的错误。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • local-php-security-checker：一个命令行工具，用于检查具有已知安全漏洞的PHP应用程序包。
  • slither：用Python 3编写的Solidity静态分析框架。
  • pscan：C源文件的有限问题扫描程序
  • pfff：用于代码分析、可视化和转换的工具和API