Static analysis of C/C++ code
