Memory-Safe Sprachen.

Memory-safe Sprachen wie Rust, Go, Swift, Java und C# verhindern die raeumlichen und zeitlichen Speicherfehler, die die meisten ausnutzbaren Luecken in C und C++ ausmachen. Es gehört zur Kategorie Anwendungssicherheit der Cybersicherheit.

Memory-safe Sprachen wie Rust, Go, Swift, Java und C# verhindern die raeumlichen und zeitlichen Speicherfehler, die die meisten ausnutzbaren Luecken in C und C++ ausmachen.

Memory-safe Sprachen erzwingen zur Compile- oder Laufzeit Bound-Checks, Ownership oder Garbage-Collection-Lebenszeiten und Typkonsistenz. Rust nutzt Ownership und einen Borrow-Checker fuer Sicherheit ohne GC; Go und Swift verwenden managed Allocation mit bound-checked Slices; Java und C# stuetzen sich auf eine managed Runtime. Der Bericht Back to the Building Blocks des US-amerikanischen ONCD (2024) empfiehlt memory-safe Sprachen fuer neuen Code und kritische Komponenten, um die 60-70 Prozent schwerer Luecken durch Speicherfehler zu eliminieren. Strategien sind Hotspot-Rewrites, Strangler-Pattern und FFI-Grenzen fuer Legacy-Interop.

Schutzmaßnahmen gegen Memory-Safe Sprachen kombinieren typischerweise technische Kontrollen und operative Praktiken, wie in der Definition oben beschrieben.

Übliche alternative Bezeichnungen: MSL, Memory-safe Programmiersprachen.