Здравствуйте, cvetkov, Вы писали:

C>а какие тут могут быть мысли. наливай да пей.

C>мсил превратить в дерево очень просто.
C>все комманды являются стейтментами. регистры переменными (для простоты можно считать их определенными в начале метода).

C>структура классов/методов в мсиле лежит прямо. без всякого запутывания.

C>или вопрос был в том чем читать мсил?

дерево построил, нужны алгоритмы статического анализа для этого дерева