Respuesta.

Historia de la cuestión

En el lenguaje C, el programador gestiona directamente la memoria: la asignación, liberación y uso de arreglos, estructuras y punteros se controla manualmente. El mecanismo de asignación dinámica de memoria existe en C desde la década de 1970 y se implementa a través de funciones especiales de la biblioteca estándar (malloc, calloc, realloc, free). Este enfoque proporciona rendimiento y flexibilidad, pero requiere atención.

Problema

Un error al trabajar con la memoria puede llevar a fugas, corrupción de otros datos, caídas del programa o vulnerabilidades de seguridad. A menudo, el error ocurre debido a llamadas olvidadas a free, desbordamientos de arreglos, conversiones incorrectas de tipos de punteros o doble liberación de memoria. Para las estructuras, la situación es similar, pero se añade el riesgo de olvidar limpiar campos dinámicos anidados.

Solución

Para minimizar errores, se recomienda desarrollar un código estrictamente estructurado, rastrear todas las asignaciones y liberaciones de memoria, no usar punteros liberados y rastrear el tamaño de los arreglos asignados. Es importante utilizar herramientas de análisis estático, pruebas finales (valgrind, sanitizers), así como seguir convenciones: quien llama a malloc, libera la memoria.

Ejemplo de código:

#include <stdio.h>
#include <stdlib.h>
typedef struct {
    int *arr;
    size_t size;
} ArrayWrapper;

ArrayWrapper *create(size_t n) {
    ArrayWrapper *aw = malloc(sizeof(ArrayWrapper));
    if (!aw) return NULL;
    aw->arr = malloc(sizeof(int) * n);
    if (!aw->arr) { free(aw); return NULL; }
    aw->size = n;
    return aw;
}
void destroy(ArrayWrapper *aw) {
    if (aw) {
        free(aw->arr);
        free(aw);
    }
}

Características clave:

Se pueden crear arreglos y estructuras dinámicos de cualquier tamaño en tiempo de ejecución.
El código que recibe la memoria es responsable de liberarla.
La clave para la seguridad es liberar la memoria inmediatamente después de su uso, evitando la doble liberación.

Preguntas engañosas.

¿Qué sucede al liberar memoria a través de un puntero nulo (free(NULL))?

De acuerdo con el estándar C, llamar a free en un puntero nulo es seguro: no sucede nada, no se produce ningún error. Esto es conveniente para transferir la responsabilidad de liberar la memoria.

¿Se puede usar memoria después de llamar a free?

No, el uso de memoria después de ser liberada (use-after-free) es un error clásico. Los datos pueden cambiar o el área puede ser entregada a otro proceso. Siempre se debe nulificar el puntero después de free.

int *ptr = malloc(10);
free(ptr);
ptr = NULL; // Seguro

¿Es obligatorio liberar toda la memoria asignada antes de salir del programa?

Técnicamente no es necesario: al finalizar el programa, el sistema operativo libera todos los recursos. Pero ignorar la liberación de memoria es un antipatrón, dificulta la depuración y conduce a errores en programas grandes y de larga duración.

Errores típicos y antipatrón

Pérdida del puntero a la memoria asignada (memory leak).
Doble liberación de memoria, use-after-free.
Tamaño incorrecto de memoria asignada (sizeof de un tipo incorrecto).

Ejemplo de la vida real

Caso negativo

El desarrollador crea arreglos dinámicos dentro de la función, olvidando limpiarlos:

Ventajas:

Implementación rápida, ausencia de errores en volúmenes pequeños.

Desventajas:

Fugas de memoria con grandes datos, caídas del programa, errores irreparables.

Caso positivo

Todo el código pasa una verificación mediante un analizador estático, todos los punteros se nulifican después de free, cada malloc está asociado con free: