Интересует подход, методология, реализация статического анализа кода. Как его парсят, как выделяют/понимают поток выполнения. Как находят брежи в логике. Подскажите куда смотреть и какую теорию и/или практику читать/применять?
Спасибо :-) Рад любому полезному совету, ссылке, рекомендации.
Читать отсюда: en.wikipedia.org/wiki/List_of_tools_for_static_cod...
Выбрать интересующий язык.
Для него выбрать анализаторы с открытыми исходными текстами.
Из них выбрать тот, который попроще и тот, у которого лучше документация.
Разобраться в их документации и исходниках.
Благодарствую :-) Изначально была интересна Scala. Но вероятно или выберу какие-то простые конструкции языка или даже начну с PHP. Т.к. знаком с обоими языками. Спасибо :-)
