mosca

  • cppcheck：一种静态C/C++代码分析工具
  • codeql：用于GitHub CodeQL的CLI工具
  • spaf：Static Php Analysis and Fuzzer.
  • leena：javascript的符号执行引擎
  • brakeman：RubyonRails应用程序的静态分析安全漏洞扫描器
  • spotbugs：用于静态分析的工具，用于查找Java代码中的错误。
  • bof-detector：通过源代码级检查简单地检测BOF漏洞。
  • local-php-security-checker：一个命令行工具，用于检查具有已知安全漏洞的PHP应用程序包。