Языки с безопасной памятью
Что такое Языки с безопасной памятью?
Языки с безопасной памятьюЯзыки с безопасной памятью, такие как Rust, Go, Swift, Java и C#, исключают пространственные и временные ошибки памяти, на которых строится большинство эксплойтов C и C++.
Такие языки на этапе компиляции или исполнения обеспечивают проверки границ, владение или времена жизни с GC и согласованность типов. Rust использует систему владения и заимствований без сборщика мусора; Go и Swift полагаются на управляемое выделение и срезы с проверкой границ; Java и C# работают через управляемый рантайм. Доклад Управления национального киберконтролёра США (ONCD) 2024 года Back to the Building Blocks рекомендует внедрять языки с безопасной памятью для нового кода и критичных компонентов, чтобы устранить 60–70% серьёзных уязвимостей, связанных с памятью. Подходы к внедрению — переписывание горячих участков, шаблон strangler и границы FFI для интеграции с легаси.
● Примеры
- 01
Android переписывает части стека Bluetooth на Rust, чтобы снизить риск UAF.
- 02
AWS переписывает части Firecracker и s2n-tls на Rust для повышения безопасности памяти.
● Частые вопросы
Что такое Языки с безопасной памятью?
Языки с безопасной памятью, такие как Rust, Go, Swift, Java и C#, исключают пространственные и временные ошибки памяти, на которых строится большинство эксплойтов C и C++. Относится к категории Безопасность приложений в кибербезопасности.
Что означает Языки с безопасной памятью?
Языки с безопасной памятью, такие как Rust, Go, Swift, Java и C#, исключают пространственные и временные ошибки памяти, на которых строится большинство эксплойтов C и C++.
Как защититься от Языки с безопасной памятью?
Защита от Языки с безопасной памятью обычно сочетает технические меры и операционные практики, как описано в определении выше.
Какие есть другие названия Языки с безопасной памятью?
Распространённые альтернативные названия: MSL, Memory-safe языки.