software · 10 menciones
El desarrollador djb ha publicado una serie de notas técnicas detalladas sobre el uso del compilador de código seguro Fil-C (filcc/fil++), destacando su alta compatibilidad con bibliotecas y aplicaciones existentes. Según sus datos, el compilador Fil-C requiere entre 1 y 4 veces más ciclos de CPU qu
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
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, 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 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
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
