О понимании мира
Тут мне говорят о некоем сакральном "понимании смысла задачи", которое дескать человеку доступно, а машине нет.

Так вот - с задачей понимания смысла двоичного кода машина справляется прекрасно - задача реконструировать по коду осмысленную и структурированную программу не просто решается, а решается легко и чисто технически. Я когда столкнулся - сам офигел насколько легко.

Только трудоемко очень - но по сути - берется талмуд им. Мучника и перечисленные там методики оптимизации применяются "задом-наперед". Для полного счастья заполировывается type inference (см. "сепуление" "функциональное программирование") и золотой ключик в кармане.

Только задача трудоебкая - тут сразу надо понимать, что прохалявить не удастся и придется Мучника реализовать практически всего (соблазн велик - я знаю, но именно что если халявить - то упрешься в то, что тебе очередного анализа кода не хватает - и будет больно и обидно).

А превращение груды байтов в человекоудобопонятную форму - этособственно и есть "понимание".

Не делается это индустриально только потому, что "нет спроса" - единственное реальное коммерческое применение, которое я знаю - "бинарная компиляция" - когда двоичный код для одной архитектуры перегоняется в эквивалентный код для другой. Задача есть - но нишевая и особенных баблосов в ней нету.