Реализация правил Vera ++

Пожалуйста, уточните, если у кого-то есть знания о Vera ++ или статическом анализаторе.

Как реализовать машину проверки сложных правил C ++ в качестве статического анализатора? Я хочу реализовать сложные правила, такие как виртуальная функция, в базовых классах, идентификация пользовательских переменных, таких как классы, структуры и т. Д. Область видимости переменных, таких как глобальные, локальные, статические и т. Д. Я очень хорошо понимал Vera ++, насколько я понимаю, он выполняет только синтаксический анализ токенов, Контекст языка должен быть реализован с помощью сценариев (и реализованный контекст может быть слишком сложным, если язык похож на C ++); потому что различие между а * б; (который может быть указателем b типа класса a) ИЛИ a * b; (может быть просто умножением двух на переменные);

Я даже чувствую, что для реализации сложных правил может потребоваться некоторый компилятор, такой как State Machines, чтобы скрипты могли понимать контекст языка.

Мой вопрос просто задать:

1. Правильно ли мое понимание с точки зрения реализации правил статического анализатора.

2. Можете ли вы, пожалуйста, направьте меня немного, как я могу приступить к выполнению этой задачи.

3. Могут ли эти задачи быть упрощены с помощью REGEXP tcl.

4. Есть ли какой-то конкретный подход к проектированию, который вы можете предложить для хорошей реализации Solid C ++ Code Analyzer.