Проверка статического кода на C ++ - это кошмар, потому что из-за его синтаксиса и макропроцессора я сомневаюсь, что есть инструменты, подобные описанному вами.
Если бы он существовал, чего бы вы от него ожидали? Хотели бы вы, чтобы он реорганизовал / переписал код для вас? Добавление и / или удаление чего?
Звучит как непростая задача для меня.