dscanner

  • pscan：C源文件的有限问题扫描程序
  • cpptest：一个可移植的、强大的、简单的单元测试框架，用于处理C++中的自动化测试。
  • splint：静态检查C程序安全漏洞和编码错误的工具
  • bof-detector：通过源代码级检查简单地检测BOF漏洞。
  • procyon：一套Java元编程工具，专注于代码生成和分析。
  • checkov：防止云配置错误，并在构建时在基础设施中以代码、容器映像和开源包的形式发现漏洞。
  • mosca：静态分析工具，用于查找类似grep unix命令的错误。
  • graudit：grep粗略的源代码审计工具。