Incorporación de un modelo de propiedad de memoria similar al de Rust al lenguaje clásico C

Resumen

El lenguaje de programación RUST se está convirtiendo en una alternativa interesante a C gracias a su modelo de propiedad de memoria, que permite escribir código más seguro sin un sistema de tiempo de ejecución ni un recolector de basura. Esto aumenta la estabilidad y la velocidad sin aumentar el tamaño del código ni el uso de la CPU. Desafortunadamente, al ser un lenguaje relativamente nuevo, obliga a los desarrolladores a aprenderlo y dominarlo antes de poder aprovechar al máximo estas capacidades. En este artículo presentamos un analizador estático de C que permite implementar algunas partes de ese mismo modelo de propiedad de memoria en código C estándar, lo que permite a los desarrolladores crear código más seguro (con menos fugas de memoria y volcados de memoria) sin tener que aprender un nuevo lenguaje ni añadir ningún tipo de código de tiempo de ejecución.