mosca

  • horusec：静态代码分析，用于识别多种语言的安全缺陷。
  • valgrind：帮助查找程序内存管理问题的工具
  • graudit：grep粗略的源代码审计工具。
  • pfff：用于代码分析、可视化和转换的工具和API
  • local-php-security-checker：一个命令行工具，用于检查具有已知安全漏洞的PHP应用程序包。
  • cpptest：一个可移植的、强大的、简单的单元测试框架，用于处理C++中的自动化测试。
  • yasca：多语言静态分析工具集。
  • splint：静态检查C程序安全漏洞和编码错误的工具