Comprobador estático gratuito para el código C99

Question

Estoy buscando un comprobador estático gratuito para el código C99 (incluidas las extensiones GCC) con la capacidad de decir explícitamente "estas macros de preprocesador siempre están definidas".

Necesito esa última parte porque estoy compilando código incrustado para un único procesador de destino. El compilador (Microchip's C32, basado en GCC) establece una macro basada en el procesador seleccionado, que luego se utiliza en los archivos de encabezado PIC32 para seleccionar un archivo de encabezado específico del procesador para incluir. cppcheck, por lo tanto, falla porque detecta los 30 diferentes #ifdef s utilizados para seleccionar uno de los muchos procesadores PIC32 posibles, intenta analizar todas las combinaciones posibles de estos más todos los demás #define s, y falla.

Por ejemplo, si splint podría procesar código C99, me gustaría utilizar

splint -D__PIC32_FEATURE_SET__=460 -D__32MX460F512L__ \ 
-D__LANGUAGE_C__ -I/path/to/my/includes source.c 

Un problema adicional es que el compilador PIC32 cadena de herramientas se llama pic32-gcc y no sólo gcc, aunque todavía no he llegado a la punto de necesidad de dar cuenta de esto.

Actualización # 1 - Una cosa que me interesa, pero es ortogonal a esta pregunta, es la integración de Eclipse (que sería bueno no tener que escribir un makefile durante más de 30 unidades de compilación). Pregunté sobre esto en el Eclipse forums (aunque la discusión allí es más acerca de la integración en Eclipse). Nada innovador.

Actualización # 2 - acaba de intentar scan-build de clang, usando:

scan-build --use-cc=/usr/local/bin/pic32-gcc make -B -k all 

... (también sin la bandera --use-cc), pero todo lo que conseguí fue el resultado de generación típica, un ejemplo de los cuales es :

Building file: ../src/MoreMath.c 
Invoking: PIC C32 C Compiler 
pic32-gcc -D__DEBUG -I/usr/local/pic32-libs/include -O0 -Wall -c -fmessage-length=0 -std=gnu99 -Werror-implicit-function-declaration -MMD -MP -MF"src/MoreMath.d" -MT"src/MoreMath.d" -mprocessor=32MX460F512L -D__DEBUG -g -o"src/MoreMath.o" "../src/MoreMath.c" 
Finished building: ../src/MoreMath.c 

... y al final:

Building target: MyBinary.elf 
Invoking: PIC C32 C Linker 
pic32-gcc -Wl,-Map,MyBinary.map -mprocessor=32MX460F512L --defsym=__MPLAB_DEBUG=1 -o"MyBinary.elf" <<ALL OF MY *.o FILES HERE>> 
Finished building target: MyBinary.elf 

scan-build: Removing directory '/tmp/scan-build-2010-06-21-1' because it contains no reports. 

Por lo tanto, mi código es perfecto según scan-build, o no está haciendo nada. No estoy seguro de qué tan buena prueba podría ser para ver si funciona.

Answer 1

Clang's static analyzer debería funcionar.

Otra opción con el código fuente #defines es que podría ejecutar cpp sobre el código fuente con algunas de las declaraciones del preprocesador, y luego ejecutar ese código resultante a través de un analizador estático.

Answer 2

sólo podría añadir algo de código como este a la parte superior de la cabecera que garantiza que se define:

#ifndef MACRO_I_NEED 
#error "MACRO_I_NEED should be defined" 
#define MACRO_I_NEED // to appease cppcheck 
#endif 

Answer 3

Esto no se puede dar directamente la solución, pero es posible considerar la posibilidad de una mirada a Coverity, que es un analizador de sintaxis estático patentado, pero que es gratuito para los proyectos de SO. ¡Debería hacer el trabajo relacionado con sus necesidades!

¡Salud!

Answer 4

Puede usar una herramienta como sunifdef para preprocesar parcialmente el código fuente de acuerdo con las macros definidas asumidas.Tendría que hacer copias de los encabezados del sistema y de la biblioteca que se ven afectados por esas definiciones y procesarlas también. Luego, al hacer el análisis estático, debe especificar una ruta de inclusión diferente que apunte a sus encabezados ya procesados.

Answer 5

En lugar de utilizar scan-build con clang, ¡considere intercambiar gcc por completo! El soporte C de Clang es estable (y hace todo lo posible para emular gcc), y debería manejar su código perfectamente.

¡Pruebe algo como make -j3 CC=clang y vea qué pasa!

PS. Esa sintaxis puede ser totalmente incorrecta. No he usado makefiles en años (CMake es sorprendente por cierto).

Answer 6

Según los análisis reales que desee ejecutar en su código, puede consultar Frama-C. Utiliza el preprocesador C que le indique, para que pueda usar el CPP de PIC32 si lo desea.