CODEWITHSUNDEEP
c++gccclangstatic-analysis
Trevor Hickey
Trevor Hickey

Reputation: 37836

How can I run GCC/Clang for static analysis? (warnings only)

Without compiling code, I would like GCC or Clang to report warnings.
Is it possible to run the compiler for static analysis only?
I can't find a way to pass the compiler warning flags and tell it not to compile.

edit: just found that clang has a static analyser

Upvotes: 18

Views: 10908

Answers (2)

Basile Starynkevitch
Basile Starynkevitch

Reputation: 1

In addition to the other replies, gcc is doing some analysis during compilation (and even during some optimization passes). So you could discard the generated code and still get all the warnings with e.g. gcc -Wall -O -c code.c -o /dev/null

Notice that you could extend GCC with your additional passes doing some additional, application specific, checks and warnings, e.g. with MELT (a high level domain specific language to extend GCC).

If you want strong static analysis and are willing to give additional annotations for that purpose consider also Frama C.

Upvotes: 4

Kerrek SB
Kerrek SB

Reputation: 477030

Both GCC and Clang have an option -fsyntax-only that makes the compiler only perform syntax checking without any actual compilation.

Upvotes: 18

Related Questions