Как разрабатывают статический анализатор кода?

Question

[me1]

Здравствуйте,

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

Спасибо :-) Рад любому полезному совету, ссылке, рекомендации.

Answer 1

[werktone]

www.viva64.com/en/a/0014
www.ethicalhack3r.co.uk/wp-content/uploads/2012/09...
www.cs.rice.edu/~keith/LACSI/msp02.pdf

Comments

[me1]

Благодарю :-)

Answer 2

[mamkaololosha]

www.viva64.com/ru/a/0014
Пишут реализацию нескольких первых шагов компиляции, до генерации кода.

Comments

[me1]

Спасибо :-)

Answer 3

[Ilya Evseev]

Читать отсюда: en.wikipedia.org/wiki/List_of_tools_for_static_cod...
Выбрать интересующий язык.
Для него выбрать анализаторы с открытыми исходными текстами.
Из них выбрать тот, который попроще и тот, у которого лучше документация.
Разобраться в их документации и исходниках.

Comments

[me1]

Благодарствую :-) Изначально была интересна Scala. Но вероятно или выберу какие-то простые конструкции языка или даже начну с PHP. Т.к. знаком с обоими языками. Спасибо :-)