Запилил статью на тему используемых алгоритмов в нашем статическом анализаторе:
https://habrahabr.ru/company/pt/blog/305000/ В "философию", потому что большинство тезисов оттуда применимы и к задаче анализа кода в целом, не только к поиску уязвимостей
... << RSDN@Home 1.2.0 alpha 5 rev. 76>>