新提案:C++將變得記憶體安全

banq發表於2024-09-18


革命性的提案:C++ 將新增借用檢查、生命週期、mut、send+sync

在遭受記憶體安全棒的打擊兩年後,C++ 社群釋出了一項提案,以幫助開發人員編寫更不容易受到攻擊的程式碼。

Safe C++ 擴充套件提案旨在解決易受攻擊的程式語言的致命弱點,即確保程式碼沒有記憶體安全漏洞。

C++ 聯盟總裁兼執行董事 Vinnie Falco 週四表示:是一項革命性的提案,它為 C++ 程式語言增加了記憶體安全功能。

這一合作標誌著 C++ 生態系統的一個重要里程碑,因為對安全程式碼的需求從未像現在這樣迫切。

這一需求從未像現在這樣迫切,因為在過去兩年裡,私營和公共部門組織一直在推動程式設計師使用 C#、Go、Java、Python 和 Swift 等記憶體安全語言編寫新應用程式和重寫舊程式,尤其是 Rust,因為它是一種效能優異的低階系統語言。

Safe C++ 擴充套件提案旨在響應美國國家安全域性(NSA)和其他五眼情報機構、美國網路安全和基礎設施局(CISA)、白宮和 DARPA 等公共部門對記憶體安全的要求。

Safe C++ 目標是解決傳統 C++ 程式設計中常見的問題,例如記憶體管理錯誤和未定義行為,這些問題可能導致安全漏洞。

Safe C++ 專案增加了確保記憶體安全的新技術:

  • 這包括編譯時智慧,如借用檢查以防止釋放後使用錯誤和初始化分析以確保型別安全。
  • 有出色的借用檢查和初始化分析,這是健全性保證的基礎。

Safe C++ 的主要特性包括:
  • 安全機制:該語言包含各種安全機制,有助於防止常見的程式設計錯誤,使開發人員更容易編寫安全程式碼。
  • 相容性:Safe C++ 旨在與現有的 C++ 程式碼庫相容,允許開發人員逐步採用新語言,而無需重寫整個專案。
  • 注重安全性:該語言從頭開始強調安全性,使其特別適合安全性至關重要的應用程式,例如嵌入式系統和高風險軟體環境。

那麼,是否也意味著用 Rust 重寫 C++ 程式碼將變得更加容易?

相關文章