buffer overflow之所以反覆發生,是因為我們在軟體層面修復它
CHERI是一種硬體擴展,它將每個指標轉變為帶有邊界的權能。本文介紹它如何在CPU層面阻止buffer overflow、代價幾何,以及如何在真實硬體上試用。
buffer overflow在CWE Top 25榜單上盤踞了二十年之久。我們擁有堆疊金絲雀、ASLR、DEP、控制流完整性以及記憶體安全語言,然而它們仍然不斷出現在關鍵程式碼中。原因很簡單:這些緩解措施無一不是在軟體中執行的,而軟體可以被繞過、被錯誤配置,或者根本未被啟用。…