English
fondo de menuRastersoft

CRUST

Versión actual: 0.13

CRUST es un analizador estático de C que permite disponer en el lenguaje C del mismo modelo de memoria que el lenguaje RUST.

CRUST no implica un nuevo lenguaje de programación, sino que simplemente añade a C lo mínimo necesario para que un analizador estático pueda saber cuando un puntero debe ser gestionado. No precisa de un nuevo compilador, ni de extrañas bibliotecas o macros oscuras con efectos desconocidos. El código es C puro, por lo que puede utilizarse incluso en microcontroladores.

Con CRUST es más fácil escribir código en C sin fugas de memoria ni referencias colgantes, y con la gran ventaja de no tener que aprender un nuevo lenguaje.

Descargas

Repositorio GIT

Historia de versiones