Я работаю над компилятором для стековой машины (конкретно CIL), и я проанализировал код в график базисных блоков. Отсюда я надеюсь применять SSA к методам, но он не идет слишком хорошо...