Возможно ли обратная компиляция? Теоретически. Вернуть любую программу в исходники.

а вы можете раздавить пакет с чипсами, а потом склеить их обратно, как было? это насчёт "теоретически".
в общем случае, можно декомпилировать исполняемый образ и получить валидный, компилируемый код. но он будет лишь напоминать первоначальный.
в случае кода на промежуточном языке для сред исполнения (например, .net, jvm) можно получить соответствие около 90% - это уже круто.
код на Delphi тоже неплохо декомпилируется за счёт анализа использования VCL в коде.
код на C декомпилируется за счёт анализа crt и api-вызовов, но плохо.
код на C++ декомпилируется отвратительно.

обычно сгенерированный код декомпилятором код подвергается масштабному рефакторингу путём его анализа и отладки. если код только обфусцирован, то реверсится он таким макаром очень быстро, поскольку типы уже есть.

Нет, невозможна. Реверсинг машинного кода до языка высокого уровня невозможен технически. Только дизассемблер.

Это только теоретически возможно.
На практике почти не реально полное восстановление кода.

почему теоретически?? ?
декомпиляция

Текст программы на языке высокого уровня ты, конечно, не получишь и 100% успех не гарантирован

Да, возможна, но с некоторыми оговорками и не всегда.

Не плохая идея, но увы.
Получить один и тот же вариант порой можно десятком способов, и при запущенной программе не все условия программы исполняются.
А вообще идея забавная.

и практически.... ДЕКОМПИЛЯЦИЯ!
полной разборкой кода занимаются вирусные аналитики (из антивирусных лабораторий)
они могут декомпилить даже упакованные 5-7раз коды в оболочку

Не только возможно, но и широко применяется.
Декомпиляция — процесс воссоздания исходного кода декомпилятором!
Главное не нарушить лицензию ПО. За это штрафы и статьи)

декомпиляцией это зовётся. возможна, да. но, так как компиляция - процесс с потерями, первоначального кода байт в байт не получим. точность восстановленного кода так же зависит от конкретного ЯП.