爲什麼反編譯器不能生成原始代碼理論上

我搜索了互聯網，但沒有找到具體的答案，爲什麼反編譯器無法生成原始源代碼。我力求得到滿意的答覆。有人寫道，它類似於停止問題，但力量告訴如何。那麼創建一個完美的反編譯器的理論和技術限制是什麼。爲什麼反編譯器不能生成原始代碼理論上

2011-07-13 Zabi

什麼，評論和所有？那麼可能已經完成的所有優化，只需再次撤消它們呢？爲什麼我不能通過將蛋放入冷凍箱幾分鐘而從煮雞蛋中得到生雞蛋？ – asawyer

@asawyer：喜歡這個比喻。 – Gerrat

很簡單，它是一個多對一的問題。例如，在C：

b++;

和

b+=1;

和

b = b + 1;

可能都得到一次編譯器和優化完成編譯到相同的一組操作。它對事物進行重新排序，放棄無效操作，並重寫整段代碼。到它完成時，它不知道你寫了什麼，只是一個很好的想法，你想要在原始CPU（或vCPU）級別發生。

它甚至足夠聰明刪除不需要的變量：

{ 
a=5; 
b=func(); 
c=a+b; 
d=func2(c); 
} 
## gets rewritten as: 
REGISTERA=func() 
REGISTERA+=5 
return(func2(REGISTERA))

2011-07-13 20:47:22 Mark

對於初學者來說，編譯程序時從不保存變量名。 ...所以最好它可以可能確實會在整個重新構建的程序中使用無意義的變量名稱。編譯通常是單向轉換 - 就像單向散列函數。就像散列一樣，也可以生成其他可以哈希到相同值的其他東西，但反編譯程序與原始程序完全相同的可能性非常小。

2011-07-13 20:46:51 Gerrat

編譯器扔出去的信息;並非源代碼中的所有信息都在編譯代碼中。例如在編譯Java中，你不能區分參數化和非參數化的泛型類型，因爲這些信息只被編譯器使用;一些註釋僅在編譯時使用，不包含在編譯後的輸出中。這並不意味着你無法通過反編譯獲得某種源代碼;它只是不匹配，也不會像實際的源代碼那樣提供信息。

2011-07-13 20:47:40 antlersoft

源代碼和編譯代碼之間通常不存在1對1的對應關係。如果基本上無限數量的可能源會導致相同的目標代碼（給定無限變量名稱長度等），反編譯器如何猜測要吐出哪一個？

2011-07-13 20:47:49 hotpaw2

回答