stoq

  • leena：javascript的符号执行引擎
  • yasca：多语言静态分析工具集。
  • semgrep：多种语言的轻量级静态分析。
  • pfff：用于代码分析、可视化和转换的工具和API
  • phpstan：PHP静态分析工具——在不运行代码的情况下发现代码中的错误。
  • bof-detector：通过源代码级检查简单地检测BOF漏洞。
  • snyk：cli和build time工具，用于查找和修复开放源代码依赖项中的已知漏洞。
  • cpptest：一个可移植的、强大的、简单的单元测试框架，用于处理C++中的自动化测试。