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
©1996-2019 Raster Software, Vigo. Prohibida la reproducción parcial o total sin el consentimiento del autor.