Static analysis of C and C++ code.
