メモリ安全性(Memory Safety)を言語レベルで保証し、バッファオーバーフローなどの脆弱性を排除するように設計されているプログラミング言語はどれか。

Rustは、コンパイル時にメモリ管理の所有権モデルを強制することで、ガベージコレクションなしでメモリ安全性を保証するモダンな言語である。