Интересует подход, методология, реализация статического анализа кода. Как его парсят, как выделяют/понимают поток выполнения. Как находят брежи в логике. Подскажите куда смотреть и какую теорию и/или практику читать/применять?
Спасибо :-) Рад любому полезному совету, ссылке, рекомендации.
