メモリ安全性の標準化：安全なソフトウェアへの道

数十年間、ソフトウェアの信頼できるコンピューティングベース（TCB）における蔓延するメモリ安全性の脆弱性が、マルウェアと壊滅的な攻撃の温床となってきました。この記事では、普遍的な強力なメモリ安全性に向けた重要なステップとして、メモリ安全性の標準化を主張しています。メモリセーフな言語、ハードウェア/ソフトウェア保護、形式手法、コンパートメンテーションにおける最近の進歩は解決策を提供していますが、共通の用語の欠如が採用を妨げています。標準化は、業界のベストプラクティスを改善し、これらの技術の広範な利用を妨げている市場の失敗に対処し、最終的にはすべての人に安全なソフトウェアをもたらします。