54 noticias
Goose es un lenguaje de programación de sistemas diseñado para ofrecer seguridad de memoria sin las sobrecargas típicas de los lenguajes modernos. Su arquitectura elimina el montón de memoria (heap), el recolector de basura (GC) y las anotaciones de vida, basándose en pila de datos gestionados por e
Rustls cumple diez años. La biblioteca de TLS en Rust nació el 2 de mayo de 2016 con un primer commit y, apenas cuatro meses después, alcanzaba su versión 0.1.0 ya capaz de interoperar con la mayoría de sitios web. A lo largo de la última década el proyecto ha evolucionado con contribuciones externa
La estabilización de los asignadores personalizados en Rust ha cobrado nuevo impulso durante los últimos seis meses y se encuentra más cerca que nunca, según la propuesta de estabilización del rasgo Allocator y el informe asociado. El diseño actual conserva una superficie inicial limitada, con métod
Mojo, lenguaje orientado al cálculo de alto rendimiento, introduce un tipo de puntero bruto con un comportamiento singular: puede ser seguro o inseguro según la operación que se le aplique, en lugar de exigir variantes separadas como hace Rust. Esta dualidad es posible gracias al modelo de propiedad
Este ensayo técnico analiza dos patrones de diseño aplicados en sistemas de software críticos: la asignación estática de memoria y el principio de trabajo constante. El autor parte de los riesgos de seguridad del par malloc/free, donde un use-after-free puede convertirse en confusión de tipos y perm
El programador Stephen Kell reflexiona sobre la evolución de la arquitectura x86 y el paulatino abandono de la segmentación de memoria, una característica introducida con el 286 y debilitada primero por las llamadas rápidas al sistema (SYSENTER) y después por la transición a 64 bits. Kell vincula es
El estándar C++26 introduce el concepto de implementación «endurecida» (hardened) para la biblioteca estándar, un mecanismo que busca sustituir el comportamiento indefinido (UB) de operaciones como el acceso fuera de rango por violaciones de contrato con semántica de terminación. Hasta C++26, expres
CobaltC es un lenguaje de programación de sistemas, estáticamente tipado, diseñado para ofrecer un equilibrio estricto entre control de bajo nivel y seguridad de memoria sin necesidad de recolección de basura por trazado. La especificación define conceptos como propiedad explícita, destrucción deter
Un artículo divulgativo del ingeniero Ralf Jung, exresponsable del equipo de Rust en Google, acerca la investigación en lenguajes de programación (PL) al desarrollador medio a partir de un concepto muy concreto: la seguridad de memoria. Jung defiende que la seguridad de memoria es, ante todo, un asu
Un invariante semántico es una propiedad que debe mantenerse durante la ejecución de un programa para que sus datos y operaciones conserven el significado previsto. En C, estas relaciones suelen existir únicamente como obligaciones informales del programador, porque los tipos estándar no representan
RAPx (Rust Analysis Platform with Extensions) es una plataforma avanzada de análisis estático para programas escritos en Rust. Ofrece un marco extensible que va más allá del compilador rustc estándar y permite a las desarrolladoras razonar con mayor profundidad sobre seguridad, robustez y rendimient
Los mantenedores de cot.rs, Mateusz Maćkowski y Marek Grzelak, repasan en un artículo publicado en el blog de JetBrains los resultados reales del movimiento RIIR (Rewrite It In Rust), basándose en su charla en Rustikon 2026. El texto distingue tres tipos de reescritura: reemplazos drop-in (uutils, s
El lenguaje C++ atraviesa una fractura interna entre dos formas incompatibles de entender su evolución. Por un lado, el Evolution Working Group (EWG) de WG21 alcanzó consenso con el documento P3466 R0 para reafirmar los principios de diseño del lenguaje: ningún cambio de ABI, mantenimiento de la com
Un equipo internacional de investigadores ha presentado un framework que permite ejecutar código Rust directamente sobre GPUs manteniendo las garantías de seguridad de memoria del lenguaje, sin sacrificar el rendimiento y con soporte multiplataforma. El trabajo, titulado "GPU Offload in Rust: Portab
El desarrollador Domen Kozar ha propuesto la creación de un nuevo enlace FFI —una interfaz que permite a un lenguaje llamar funciones escritas en otro— en Rust llamado `extern "fil-c"`, diseñado para interoperar de forma segura con bibliotecas C y C++ compiladas mediante Fil-C, un compilador alterna
CHERI: seguridad de memoria y compartimentación fina para CPU modernas CHERI (Capability Hardware Enhanced RISC Instructions) es una arquitectura que busca resolver uno de los problemas más antiguos y persistentes de la seguridad informática: el manejo inseguro de punteros en memoria. Según explicó
El autor, ingeniero de Trust-in-Soft, describe el trabajo de auditoría estática realizado sobre SQLite, una base de datos ligera de alrededor de 113.000 líneas de código con uso intensivo de punteros, demasiado extensa para una verificación estática trivial pero respaldada por una de las suites de p
La sentencia assert() es una herramienta básica para escribir software correcto, seguro y mantenible, pero muchas de sus implementaciones se quedan cortas y generan dudas sobre cuándo y cómo utilizarla. Este artículo explica en cuatro áreas clave cómo aprovechar las aserciones de forma eficaz. En pr
Wyzer es un lenguaje de programación compilado, de tipado estático y orientado a recursos que se presenta como un proyecto open source en fase temprana de investigación. Su propuesta central es aplicar una única regla de propiedad a tres ámbitos que suelen tratarse por separado: la gestión de memori
El proyecto Schrödinger's TOCTOU, alojado en GitHub por xoreaxeaxeax, demuestra que los compiladores de C pueden introducir lecturas de memoria que el programador jamás escribió —las llamadas "invented loads"—, y que esas lecturas reabren vulnerabilidades de tipo TOCTOU (Time-Of-Check to Time-Of-Use
iceoryx2, biblioteca de comunicación entre procesos orientada a sistemas críticos de seguridad y alta fiabilidad, incorpora ByteAtomic, un envoltorio que permite copiar memoria de forma atómica a nivel de byte. La pieza resuelve un problema conocido en Rust y C++: los sequence locks, que evitan bloq
BorrowSanitizer es una herramienta de análisis dinámico diseñada para detectar errores de aliasing específicos de Rust en aplicaciones escritas en varios lenguajes. El compilador de Rust ofrece garantías estáticas de seguridad muy estrictas al restringir el aliasing y la mutabilidad, pero los desarr
La migración de proyectos en C y C++ a Rust ya no se considera una apuesta experimental: cada vez más equipos adoptan Rust como vía práctica para mejorar la seguridad de memoria, reducir costes de mantenimiento a largo plazo y modernizar sistemas de rendimiento crítico. Sin embargo, el éxito no depe
La seguridad de memoria suele presentarse como un concepto difuso y polémico, pero la realidad es más sencilla: puede entenderse como un espectro y, al mismo tiempo, admitir una definición práctica que no depende de tecnicismos. El código verdaderamente seguro es aquel cuyas reglas sobre la memoria
Cyber es un lenguaje de programación de scripting cuyo objetivo es ofrecer una experiencia rápida y agradable para los desarrolladores, combinando tipado dinámico y estático opcional, seguridad de memoria y concurrencia basada en fibras. El proyecto se distribuye como multiplataforma e incluye una m
SCI Semiconductor ha obtenido el primer lote de chips ICENI, la primera implementación en silicio de la arquitectura CHERIoT, diseñada para llevar la seguridad de memoria por hardware a sistemas embebidos con compartimentación agresiva. Hasta ahora, el trabajo sobre CHERIoT se realizaba únicamente c
Este artículo adapta la charla del autor en RustConf 2024 y gira en torno a un caso de estudio singular: Netstack3, la pila de red de próxima generación de Fuchsia, escrita íntegramente en Rust y diseñada para sustituir a Netstack2, implementada en Go. El proyecto, iniciado hace seis años y desarrol
El artículo analiza el debate en torno a la seguridad de memoria en lenguajes de programación y arremete contra los llamados «absolutistas», que descalifican a Rust por contar con bloques `unsafe` sin aplicar el mismo rasero a C, C++ o Zig. El texto parte de una observación: aunque durante años la d
Investigadores de la Universidad de Kent presentan un compilador de Rust dirigido al procesador prototipo Morello de ARM, una arquitectura experimental que aplica seguridad de memoria mediante capabilities (punteros gruesos dotados de permisos y límites). El trabajo, publicado como artículo de exper
Fil-C es una implementación de C y C++ que garantiza la seguridad de memoria sin sacrificar la compatibilidad con el código existente, según explicó su creador, Filip Pizlo, en la conferencia Software Should Work 2026. El proyecto nace de la premisa de que los lenguajes seguros —como Rust o los ento
Fil-C es un sistema que garantiza la seguridad de memoria de todas las operaciones en C y C++. Su mayor reto es la seguridad de punteros, resuelta mediante un sistema de capacidades: cada puntero rastrea dinámicamente el objeto al que puede acceder y se prohíbe cualquier acceso fuera de ese objeto,
Cpp2Rust es una herramienta de código abierto que traduce código C++ a Rust completamente seguro de forma automática. Funciona como un traductor dirigido por la sintaxis que toma como punto de partida el árbol de sintaxis abstracta (AST) generado por clang. Tras recorrer dicho AST, la herramienta em
Bun, el entorno de ejecución y kit de herramientas para JavaScript y TypeScript, se reescribirá en Rust tras la adquisición de la empresa por Anthropic, completada en diciembre de 2025. El creador del proyecto, Jarred Sumner, anunció la decisión en una entrada de blog en la que detalla los motivos t
El Kernel Address Sanitizer (KASAN) es la herramienta de referencia en el kernel de Linux para detectar en tiempo de ejecución dos de los errores de memoria más comunes en código C: accesos fuera de los límites y use-after-free. Aunque Rust gana terreno en el núcleo, la mayor parte del código sigue
Kani es un verificador de modelos de código abierto diseñado para el lenguaje de programación Rust. El artículo, publicado en arXiv en julio de 2026, lo presenta como una herramienta que lleva la verificación acotada más allá de la búsqueda de errores y ofrece garantías formales de corrección. Aunqu
Raphael Amorim, creador de Rio Terminal, presenta Jam, un lenguaje de programación en desarrollo hacia su versión 1.0 que busca combinar la inmediatez y la ergonomía de los lenguajes de tipo C —Go, Zig, C moderno— con la seguridad de memoria propia de Rust, pero sin recolector de basura ni un sistem
Un programador que abandonó Zig por Rust en 2020 por la inestabilidad del lenguaje y la inmadurez de su ecosistema narra su regreso a Zig en 2026. Asegura que, aunque el lenguaje sigue siendo inestable —la versión 0.17 romperá sistemas de compilación— y conserva muchos de sus problemas de antaño, su
Mainmatter ha presentado 'The C to Rust Migration Book', una obra —acompañada de un curso práctico— orientada a guiar a equipos de desarrollo en la migración de código C a Rust sin interrupciones del servicio. El libro condensa la experiencia de la consultora en la modernización de algunos de los pr
Fil-C es un dialecto de C con seguridad de memoria que, en su versión 0.680, añade soporte para las API ucontext (setcontext, getcontext, makecontext y swapcontext) además de las clásicas setjmp y longjmp. Estas funciones, ampliamente usadas para implementar manejo de excepciones, corutinas y fibras
En Rust, std::pin::Pin es un envoltorio de puntero que garantiza, mediante el sistema de tipos, que el valor apuntado no se moverá a través de ese puntero. Su razón de ser está en los tipos autorreferenciales, estructuras que contienen punteros crudos hacia sus propios campos: si la instancia se mue
Ante es un lenguaje de programación de sistemas que apuesta por una idea ambiciosa: integrar el conteo de referencias y el borrow checking sin renunciar a la seguridad en tiempo de ejecución. En la práctica, eso significa que un programador puede declarar tipos compartidos y mutables con la palabra
El núcleo de Linux ha completado la retirada de la función strncpy, una labor que ha requerido seis años y más de 360 parches. strncpy, heredada de la biblioteca de cadenas de C (lenguaje creado en 1972), se diseñó como corrección de strcpy para evitar desbordamientos de búfer, pero presenta dos pro
La empresa de seguridad AISLE identificó seis de las dieciocho vulnerabilidades (CVE) incluidas en la versión 8.21.0 de curl, publicada el 24 de junio de 2026. Entre los hallazgos destaca CVE-2026-8932, el fallo de seguridad más antiguo reportado hasta ahora en el proyecto: lleva presente más de 25
Fil-C, una variante de C y C++ con seguridad de memoria desarrollada por pizlonator, incorpora compatibilidad con ensamblador inline manteniendo las garantías de seguridad. La función, aún en fase preliminar y no incluida en el lanzamiento 0.679, requiere compilar desde el código fuente. El proyect
Cuando se compara el número de CVE (vulnerabilidades de seguridad) reportados en software escrito en Rust frente a los escritos en C o C++, la comparación resulta engañosa, ya que la forma de catalogar las vulnerabilidades de memoria difiere sustancialmente entre ambos ecosistemas. En C y C++, el s
Grit es un proyecto experimental que reimplementa Git desde cero como una biblioteca en Rust, con el objetivo de superar las limitaciones del Git original escrito en C, que nunca se concibió como una librería enlazable y reentrante, sino como una cadena de comandos estilo Unix. El proyecto, desarrol
El 14 de mayo se fusionó en la rama principal de Bun el pull request #30412: algo más de un millón de líneas de Rust, 6.755 commits, generadas en nueve días casi en su totalidad por agentes de Claude Code. Anthropic, que adquirió Bun en diciembre, proporcionó los agentes. La implementación en Zig qu
Ü es un lenguaje de programación compilado y de tipado estático que prioriza la seguridad y el rendimiento. Inspirado en C++, pero sin sus desventajas, y con influencias menores de Rust, Ü ofrece una separación entre código seguro e inseguro, verificación en tiempo de compilación y abstracciones com
Un especialista en seguridad publica un ensayo en el que sostiene que la seguridad de la memoria en el software dejará de ser un debate técnico para convertirse en una cuestión de vida o muerte, ante la inminente llegada de agentes de inteligencia artificial capaces de detectar vulnerabilidades de f
Fil-C es una convención de llamada optimizada diseñada para garantizar seguridad de memoria incluso cuando los programas se comportan de manera adversarial. En esencia, previene errores graves como pasar argumentos de tipos incorrectos, convertir punteros de función a firmas equivocadas, o mezclar s
Rust, conocido por su seguridad de memoria sin necesidad de un recolector de basura, logra esto a través de un sistema de propiedad riguroso. Sin embargo, este sistema tiene una 'válvula de escape': el conteo de referencias. Normalmente, cada valor en Rust tiene un único propietario, y cuando ese pr
El borrador final del estándar C++26 ha sido completado, según anunció Herb Sutter, experto en C++ y ex presidente del comité de estándares ISO C++. Esta nueva versión introduce cambios significativos que buscan modernizar y mejorar el lenguaje. Entre las novedades más destacadas se encuentra la imp
Fil-C es un nuevo enfoque para implementar C/C++ con seguridad de memoria. El proyecto, detallado en corsix.org, busca resolver los problemas de seguridad inherentes a estos lenguajes mediante una transformación automatizada del código fuente. En su modelo simplificado, Fil-C inserta un `AllocationR
La ISO C++ Committee ha finalizado el trabajo técnico de C++26 tras una reunión celebrada en Londres (Croydon, Reino Unido) el pasado sábado. Este hito marca la culminación de un proceso que involucró a aproximadamente 210 asistentes de 24 países, tanto presenciales (130) como remotos (80). C++26 se
