C++ static check framework