static analysis of c++ codes