fondo de menu
CRUST

Versión actual: 0.3

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.

Zona de descargas

Repositorio GIT

Historia de versiones

  • version 0.3 (2018/08/25)
  • Allows to generate the *crust.h* file just calling crust, instead of having to copy it from elsewhere
  • version 0.2 (2018/08/23)
  • First public version