Кто нибудь сталкивался с задачей автоматического распознавания циклов на уровне CLI в .NET?
Интересует методика выявления циклов и зависимостей переменных в них (глобальные, локальные и т.п).
По накидайте почитать. Или аналогичное для Java.

Декомпилируй сборку. Если она не обфускована - циклы будут на месте. Если обфускована - будут команды (детали надо смотреть) условного перехода.
То же самое для Жабы.

Это не проблема, я использую CCI (Common Compiler Infrastructure - http://ccimetadata.codeplex.com/) для анализа сборки. Проблема в другом. В IL-коде нет циклов :) там есть только условные оператор перехода и отличить например if от while не совсем просто. Кроме того меня интересуют методы определения области видимости переменных, которые используются внутри цикла. Конечная цель всего этого (курсовая) научиться находить циклы, выявлять зависимости и если возможно, то автоматически распараллеливать найденные циклы и собирать сборку обратно.

отличить например if от while не совсем просто.
------
Легко. Просто нарисуй диаграмку переходов для каждого цикла. Там их не много.
И смотри что подходит под минимальный вариант.
Ах, да... в цикле - всегда есть переход на более ранний код. У ИФа его не будет.
меня интересуют методы определения области видимости переменных
------
Никак. Этой информации нет (нет смысла ее там иметь и она не всегда она соответствует написанному) в коде. Только зная применяемую технику трансляции можно пытаться что-то найти. Но даже при этом не всегда можно выяснить нюансы различия.
автоматически распараллеливать найденные циклы
------
Не забудь, что циклы это не только do-while-for, но if+goto (c ограничениями) и foreach с итераторами...

o_O

А что делать?

там же можно наверное отследить точку возврата? если больше 10 раз куда то вернулись, значит цикл тип того

Ну в общем-то я так и делаю, строю граф и его анализирую. Просто думал может быть кто-то уже сталкивался с похожими задачами и поделится литературой. Пока самая большая проблема это второй граф - зависимостей. Мне нужно определять например где декларируются переменные, которые используются внутри цикла и являются ли они локальными (следовательно каждый поток может потом такие переменные сам для себя генерировать и использовать) или же они являются глобальными по отношению к телу цикла, и тогда ещё возможно использовать оператор редуцирования (не знаю как правильно по-русски).

sonargraph hello2morrow

я бы посмотрел документацию и ссылки, которые доступны на http://llvm.org/ - они там выполняют много разных видов анализа. Книжки тоже есть, типа "Path-Oriented Program Analysis", но они стоят как паравоз...

Ок, спасибо посмотрю. У нас библиотека большая, возможно там что найду.

Совсем непонятно зачем отличать if while for goto. Если есть переход на более ранний адрес это цикл. Если на более поздний это ветвление.