A static source code checker for C++
