software · 7 menciones
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
