Clang 静态分析器

Clang 静态分析器是一个源代码分析工具,用于查找 C、C++ 和 Objective-C 程序中的错误。它基于符号执行技术实现了路径敏感跨过程分析

这是静态分析器文档页面。

参见官方工具页面