person · 5 menciones
El artículo analiza la viabilidad de las estrategias de prueba para implementar supertratos en Rust, concluyendo que las pruebas externas son incompatibles con el diseño actual del lenguaje. El autor argumenta que, aunque las pruebas externas permiten evitar la circularidad en la validación de impl,
El equipo de respuesta de seguridad de Rust ha detectado una vulnerabilidad crítica en la herramienta Miri, que permite la persistencia de variables de entorno en el directorio target/. Este fallo, combinado con la funcionalidad de caché de GitHub Actions, expone secretos a los Pull Requests (PR) si
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
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
En C++, convertir un valor en coma flotante a un entero mediante sintaxis tan habitual como `int i = f;` o `static_cast<int>(f)` constituye comportamiento indefinido cuando el valor truncado no cabe en el tipo destino. El estándar lo recoge en la página de conversiones implícitas de Cppreference, do