メモリ安全言語.

Rust、Go、Swift、Java、C# などのメモリ安全言語は、C/C++ における悪用可能な脆弱性の大半を生む空間的・時間的なメモリエラーを構造的に防ぎます。 サイバーセキュリティの アプリケーションセキュリティ カテゴリに属します。

Rust、Go、Swift、Java、C# などのメモリ安全言語は、C/C++ における悪用可能な脆弱性の大半を生む空間的・時間的なメモリエラーを構造的に防ぎます。

メモリ安全言語はコンパイル時または実行時に、境界チェック、所有権や GC によるライフタイム管理、型の整合性を強制します。Rust は所有権と借用チェッカで GC なしの安全性を実現し、Go と Swift は管理アロケーションと境界チェック付きスライスを使い、Java と C# は管理ランタイムに依存します。米国 ONCD の 2024 年報告書「Back to the Building Blocks」は、メモリ起因の重大脆弱性 60〜70% を排除するため、新規コードと重要コンポーネントでメモリ安全言語の採用を推奨しています。導入戦略にはホットスポットの書き換え、Strangler パターン、レガシー連携のための FFI 境界などが挙げられます。

メモリ安全言語 に対する防御は通常、上記の定義で述べたとおり、技術的統制と運用上の実践を組み合わせます。

一般的な別名: MSL, メモリセーフ言語。