Static analyzer of C/C++ code
