A static source code checker for C++