Безопасност на паметта (Memory Safety)

Безопасността на паметта (Memory Safety) е софтуерно свойство, предотвратяващо дефекти като препълване на буфера (buffer overflow), използване след освобождаване (use-after-free) и състезание на нишки.

Индустрията ускорява прехода от C/C++ към езици с гарантирана безопасност на паметта (като Rust) за изграждане на критична софтуерна инфраструктура.