如何运行GCC / Clang进行静态分析？ （仅警告）

Question

如果不编译代码，我希望GCC或Clang报告警告。
是否可以仅运行编译器进行静态分析？
我找不到通过编译器警告标志并告诉它不要编译的方法。

编辑：刚发现c具有静态分析器

Answer 1

GCC和Clang都具有-fsyntax-only选项，该选项使编译器仅执行语法检查，而没有任何实际的编译。

Answer 2

除了其他答复外， gcc还在编译过程中（甚至在一些优化过程中）进行了一些分析。 因此，您可以丢弃生成的代码，并仍然使用gcc -Wall -O -c code.c -o /dev/null获得所有警告。

请注意，您可以使用其他通行证来扩展GCC，以执行一些特定于应用程序的附加检查和警告，例如，使用MELT （扩展GCC的高级领域特定语言）。

如果您需要强大的静态分析并愿意为此提供其他注释，请考虑Frama C。