The Clang Static Analyzer is a source code analysis tool that finds
bugs in C, C++, and Objective-C programs.

The standalone tool is invoked from the command line, and is intended
to be run in tandem with a build of a codebase.

The analyzer is 100% open source and is part of the Clang project.
Like the rest of Clang, the analyzer is implemented as a C++ library
that can be used by other tools and applications