Clang Static Analyzer

The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++ and Objective-C programs, such as null pointer dereferences, memory leaks and use of uninitialised values. It uses path-sensitive analysis and can be run from the command line with scan-build or from IDEs such as Xcode.

The analyzer is part of the Clang project within LLVM and is distributed with LLVM releases under the Apache License 2.0 with LLVM exceptions.