控制代碼洩露是什麼意思

控制代碼洩露（Control Flow Leakage）是資訊安全領域的一個概念，特別是在硬體安全中，指的是當一個處理器的控制流（例如指令指針或程式計數器）被攻擊者觀察或控制時，可能導致的安全風險。

在計算機系統中，控制流是指執行程式的流程，它決定了哪個指令將被執行以及執行的順序。通常，控制流是由程式內部的條件判斷、循環、子程式調用等機制來控制的。然而，如果一個惡意的攻擊者能夠竊取或操縱控制流信息，他們就可以引導程式執行非預期的代碼，從而導致安全漏洞，如特權升級、信息洩露或拒絕服務攻擊。

控制代碼洩露可能發生在多種情況下，例如：

  1. 分支預測錯誤：處理器在執行分支指令（如條件跳轉）時，會根據歷史行為來預測將要執行的路徑。如果攻擊者能夠觀察到這些預測是否正確，他們就可以推測出程式的執行路徑，這可能會導致信息洩露。

  2. speculative execution：一些處理器在等待數據時會進行超前執行（speculative execution），即在不確定數據是否可用時就開始執行指令。如果這些超前執行的指令訪問了敏感數據，即使最終這些執行被證明是錯誤的，攻擊者也可能已經獲取了這些數據。

  3. 指令流緩衝區：為了提高性能，處理器可能會在緩衝區中預先取指令。如果攻擊者能夠觀察到哪些指令被預先取，他們就可以推測出程式的行為。

  4. 亂序執行：處理器在執行指令時，可能會以與程式中聲明的順序不同的順序執行這些指令，以提高性能。如果攻擊者能夠觀察到這種亂序執行，他們就可以推測出程式的執行路徑。

為了防止控制代碼洩露，硬體設計者採取了多種措施，例如：