Я нахожусь в процессе понимания и создания инструмента статического анализа кода для проприетарного языка от большой компании. Причина в том, что мне нужно просмотреть довольно большую базу кода, и статический анализ кода очень поможет, а у них пока нет такой базы для языка.
Я хотел бы знать, как можно строить инструмент статического анализа кода, например Lint или SpLint для C.
Любые книги, статьи, блоги, сайты… и т. д. могут помочь.
Спасибо.