10 noticias
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 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
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
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
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
La primera edición de la conferencia Software Should Work (SSW), celebrada en Columbia (Misuri), superó las expectativas de su organizador en todos los frentes: la práctica totalidad de los asistentes permaneció en las charlas, prestando atención en lugar de desviarse a portátiles o teléfonos, y los
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,
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
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
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