Lenguajes con seguridad de memoria.

Los lenguajes con seguridad de memoria como Rust, Go, Swift, Java y C# evitan los errores espaciales y temporales de memoria que originan la mayoria de vulnerabilidades explotables en C y C++. Pertenece a la categoría de Seguridad de aplicaciones en ciberseguridad.

Los lenguajes con seguridad de memoria como Rust, Go, Swift, Java y C# evitan los errores espaciales y temporales de memoria que originan la mayoria de vulnerabilidades explotables en C y C++.

Estos lenguajes imponen limites, gestion de propiedad o tiempos de vida con recoleccion de basura, y consistencia de tipos en tiempo de compilacion o de ejecucion. Rust usa un sistema de ownership y borrow checker para conseguir seguridad sin recolector; Go y Swift dependen de asignacion gestionada y slices con comprobacion de limites; Java y C# se basan en un runtime gestionado. El informe Back to the Building Blocks de la Oficina del Director Nacional de Ciberseguridad de EE. UU. (ONCD, 2024) recomienda adoptar lenguajes memory safe para codigo nuevo y componentes criticos, con el fin de eliminar el 60-70 por ciento de vulnerabilidades graves originadas en errores de memoria. Las estrategias de adopcion incluyen reescribir hotspots, patrones strangler y limites FFI.

Las defensas contra Lenguajes con seguridad de memoria combinan habitualmente controles técnicos y prácticas operativas, como se detalla en la definición.

Nombres alternativos comunes: MSL, Lenguajes memory safe.