C++ Code Analysis: an Open Architecture for the Verification of Coding Rules