sparce
Analizador semántico de archivos fuente. Proporciona una interfaz de compilador capaz de analizar la mayor parte del código C ANSI, así como muchas extensiones de GCC, y una colección de ejemplos de backends de compilador, incluyendo un analizador estático también llamado "sparse". Sparse proporciona un conjunto de anotaciones diseñadas para transmitir información semántica sobre los tipos, como a qué espacio de direcciones apuntan los punteros o qué bloqueos adquiere o libera una función. Sparse puede invocarse directamente como "sparse" o mediante el envoltorio "cgcc" del compilador C.
$ sparse archivo.c
chequeo estático básico de un fichero
$ sparse -Wsparse-all archivo.c
activa todos los warnings
$ sparse -I/usr/include -D__KERNEL__ archivo.c
sustituir GCC por sparse