CRUST

Versión actual: 0.9

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.9 (2019/01/06)
Added support for _Static_assert
Added preliminary support for Statements and Declarations in Expressions
version 0.8 (2018/12/25)
Add support for CONST and RESTRICT statements in pointers
Add support for array syntax in function declaration parameters
version 0.7 (2018/12/24)
Now doesn't return an error when returning NULL as borrowed
version 0.6 (2018/10/03)
Fixed case when a switch/case block lacks a 'default' statement
version 0.5 (2018/10/01)
Only checks function declarations in external files if their definition is in the current file
version 0.4 (2018/09/27)
Forbides to define functions with empty parameters list; they must have, in case they don't need parameters, 'void'
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