Kostenloser statischer Checker für C99-Code

Ich suche nach einem kostenlosen statischen Prüfer für C99-Code (einschließlich GCC-Erweiterungen) mit der Fähigkeit, explizit zu sagen: “Diese Präprozessormakros sind immer definiert.”

Ich brauche diesen letzten Teil, weil ich eingebetteten Code für einen einzelnen Zielprozessor kompiliere. Der Compiler (C32 von Microchip, GCC-basiert) setzt ein Makro basierend auf dem ausgewählten Prozessor, das dann in den PIC32-Header-Dateien verwendet wird, um eine einzuschließende prozessorspezifische Header-Datei auszuwählen. cppcheck schlägt daher fehl, weil es die 30 anders erkennt #ifdefs verwendet, um einen der vielen möglichen PIC32-Prozessoren auszuwählen, versucht, alle möglichen Kombinationen dieser plus aller anderen zu analysieren #defines und scheitert.

Zum Beispiel, wenn Schiene C99-Code verarbeiten könnte, würde ich verwenden

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

Ein zusätzliches Problem ist, dass der PIC32-Toolchain-Compiler aufgerufen wird pic32-gcc und nicht nur gccobwohl ich noch nicht an dem Punkt angelangt bin, an dem ich dies berücksichtigen muss.

Update Nr. 1 – Eine Sache, die mich interessiert, aber orthogonal zu dieser Frage ist, ist die Eclipse-Integration (es wäre schön, kein Makefile für mehr als 30 Kompilierungseinheiten schreiben zu müssen). Ich fragte danach auf der Eclipse-Foren (obwohl die Diskussion dort mehr über die Integration in Eclipse geht). Nichts Bahnbrechendes.

Update Nr. 2 – gerade versucht scan-build aus klirrenmit:

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

…(auch ohne die --use-cc Flag), aber alles, was ich bekam, war die typische Build-Ausgabe, ein Beispiel dafür ist:

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

…und am Ende:

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.

Also entweder mein Code ist perfekt nach scan-build, oder es tut nichts. Ich bin mir nicht sicher, was ein guter Test sein könnte, um zu sehen, ob es funktioniert.

Clangs statischer Analysator sollte arbeiten.

Eine weitere Option mit dem Quellcode #defines ist, dass du rennen könntest cpp über den Quellcode mit einigen der Präprozessoranweisungen und führen Sie diesen resultierenden Code dann durch einen statischen Analysator.

Sie könnten einfach einen Code wie diesen oben in Ihren Header einfügen, der garantiert, dass er definiert ist:

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

Anstatt scan-build mit clang zu verwenden, sollten Sie gcc komplett austauschen! Die C-Unterstützung von Clang ist stabil (und tut ihr Bestes, um gcc zu emulieren) und sollte Ihren Code gut verarbeiten.

Versuchen Sie so etwas wie make -j3 CC=clang und schau was passiert!

PS. Diese Syntax könnte völlig falsch sein. Habe seit Ewigkeiten keine Makefiles mehr verwendet (CMake ist übrigens erstaunlich).

Je nachdem, welche tatsächlichen Analysen Sie für Ihren Code ausführen möchten, können Sie einen Blick darauf werfen Frama-C. Es verwendet den C-Präprozessor, den Sie ihm mitteilen, sodass Sie das CPP von PIC32 verwenden können, wenn Sie möchten.

Dies gibt Ihnen möglicherweise nicht direkt die Lösung, aber Sie könnten einen Blick auf Coverity werfen, einen proprietären statischen Syntaxanalysator, der jedoch für Betriebssystemprojekte kostenlos ist. Es sollte die Arbeit in Bezug auf Ihre Bedürfnisse erledigen!

Prost!

Sie können ein Tool wie verwenden sunifdef um den Quellcode gemäß den angenommenen definierten Makros teilweise vorzuverarbeiten. Sie müssten Kopien von System- und Bibliotheksheadern erstellen, die von diesen Definitionen betroffen sind, und sie ebenfalls verarbeiten. Dann würden Sie bei der statischen Analyse einen anderen Include-Pfad angeben, der auf Ihre bereits verarbeiteten Header zeigt.