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