Вход на сайт
Автоматическое распознавание циклов в коде
773 просмотров
Перейти к просмотру всей ветки
в ответ Poiser 19.11.11 11:02
я бы посмотрел документацию и ссылки, которые доступны на http://llvm.org/ - они там выполняют много разных видов анализа. Книжки тоже есть, типа "Path-Oriented Program Analysis", но они стоят как паравоз...