definite assignment analysis - анализ хода выполнения программы, позволяющий исключить случайное использование неинициализированных переменных. T.к. он отслеживает, в какой точке переменная присваивается, а в какой - читается, мысль можно развивать дальше, для удаления ненужных временных переменных и т.п.
"Бета-версию" этого добра можно найти
здесь.