Анализ алгоритма - это алгоритмически неразрешимая задача. Возможны только эвристики, которые не могут дать правильный ответ во всех корректных случаях.
Так что, нет: программа, которая пишет правильно работающий код для любых корректных ТЗ, невозможна. А ограниченная программа, пишущая код в какой-то очень узкой области, не является конкурентом профессиональному программисту.