在過去 30 年中，緩沖區溢出一直是網絡傳播攻擊中最常被利用的漏洞。考慮到緩沖區的創建方式，這并不奇怪。

下面是 C 中的一個示例：

第 1 步。程序員使用 malloc 函數并定義緩沖區內存量（例如 32 字節）

第 2 步。返回一個指針，指示內存中緩沖區的開頭

第 3 步。程序員在需要讀取或寫入該緩沖區時（僅）使用指針作為引用

有了指針，程序員很容易忘記分配給給定緩沖區的實際內存量。編譯器在組裝過程中使用元數據來分配適當的緩沖區大小，但此元數據通常在生成時丟棄以減少占用空間。

如果在程序內部或程序之間傳輸的數據隨后超過最初定義的緩沖區大小，則該數據信息將覆蓋相鄰內存。這可能會導致內存訪問錯誤或崩潰，以及安全漏洞。

緩沖區溢出和漏洞利用

黑客可以使用堆棧緩沖區溢出將可執行文件替換為惡意代碼，從而使他們能夠利用堆內存或調用堆棧本身等系統資源。例如，控制流劫持利用堆棧緩沖區溢出將代碼執行重定向到正常操作中使用的位置以外的位置。

一旦負責控制流，控制流劫持者就可以修改指針并重用現有代碼，同時還可能替換代碼。控制流的命令還允許攻擊者修改指針，以用于間接調用、跳轉和函數返回，從而留下有效的圖形以向防御者隱藏其操作。

盡管動態地址空間布局隨機化 （ASLR） 機制和堆棧金絲雀用于在代碼執行發生之前檢測和防止緩沖區溢出，但此類威脅仍然是一個挑戰。

安全性：軟件還是芯片？

ASLR 和堆棧金絲雀是基于軟件的緩沖區溢出保護機制，確實使攻擊者更難利用緩沖區溢出。例如，ASLR 動態重新定位內存區域，以便黑客有效地猜測目標組件（如基本可執行文件、庫以及堆棧和堆內存）的地址空間。不幸的是，最近的漏洞（如Spectre和Meltdown）泄漏了CPU分支預測器的信息，由于顯而易見的原因，這限制了ASLR的有效性。

另一方面，堆棧金絲雀在內存中的返回指針之前插入小整數。在例程可以使用相應的返回指針之前，將檢查這些整數以確保它們未更改。盡管如此，如果黑客確定包含正確的金絲雀值，他們還是有可能讀取金絲雀并簡單地覆蓋它和隨后的緩沖區而不會發生任何事件。此外，雖然 Canary 保護控件數據不被更改，但它們不保護指針或任何其他數據。

當然，基于軟件的安全解決方案的另一個挑戰是它們極易受到錯誤的影響。據估計，每 1，000 行代碼存在 15-50 個錯誤，這意味著解決方案中存在的軟件越多，漏洞的數量就越多。

在解決疾病而不是緩沖區溢出的癥狀時，更強大的方法是在硅中實現安全性 - 雖然堆棧緩沖區溢出漏洞旨在操縱軟件程序，但解決此類攻擊的根本原因首先要意識到處理器無法確定給定程序是否正在正確執行。

除了減輕軟件錯誤的影響之外，硅不能遠程更改。但是，必須對處理器或硅IP進行編程，以便在運行時識別嘗試寫入內存或外設的指令是執行合法操作還是非法操作。

Dover Microsystems開發了一種名為CoreGuard的技術。

運行時的芯片安全性

CoreGuard是一種硅IP，可以與RISC處理器架構集成，以在運行時識別無效指令。該解決方案以 RTL 形式提供，可以針對各種功耗和面積要求進行優化，也可以進行修改以支持自定義處理器擴展。

如圖 2 所示，CoreGuard 架構包括一個硬件互鎖，用于控制主機處理器與系統其余部分之間的所有通信。硬件互鎖將這些通信匯集到策略實施器中。

另外，CoreGuard 使用稱為微策略的可更新安全規則，這些規則是用高級專有語言創建的簡單管理策略。這些規則安裝在與其他操作系統或應用程序代碼隔離的安全、無法訪問的內存區域中。CoreGuard 還在此處為通常由編譯器丟棄的應用程序元數據保留少量內存分配，用于為系統中的所有數據和指令生成唯一標識符。這些組件在系統引導時加載。

當指令嘗試在運行時執行時，在特權模式下運行的 CoreGuard 策略執行核心或主機處理器會根據定義的微策略交叉引用指令的元數據。硬件聯鎖確保處理器僅向內存或外設輸出有效指令，從而防止無效代碼完全執行。應用程序會收到類似于被零除錯誤的策略沖突通知，并通知用戶。

與主機處理器集成以支持指令跟蹤輸出、失速輸入、不可屏蔽中斷 （NMI） 輸入和中斷輸出所需的一切。對于非芯片設計人員，Dover Microsystems最近宣布其CoreGuard技術正在設計用于某些NXP處理器。

消除各類攻擊

在緩沖區溢出的情況下，像CoreGuard這樣的技術的好處是顯而易見的。可以合并作為經常丟棄的編譯器元數據的一部分捕獲的緩沖區大小，以限制攻擊者從整個網絡操縱系統堆棧的能力。更進一步，相同的原則可以應用于一般的控制流劫持，因為從內存中各個點返回可以在它們發生之前受到限制。

在實踐中，這種實時感知也為安全行業創造了新的競爭環境。通過能夠在損壞發生之前識別錯誤或攻擊，用戶可以選擇動態重新分配內存，切換到單獨的，更安全的程序或記錄事件，同時繼續運行相同的程序。如何進行完全取決于應用程序或業務案例的需求。

我們是否看到了零日漏洞的終結？只有時間會證明一切，但似乎我們走在正確的道路上。

審核編輯：郭婷