Question

我正在为C99代码（包括GCC扩展）寻找一个免费的静态检查器，能够明确地说“这些预处理器宏总是被定义”。

我需要最后一部分，因为我正在为单个目标处理器编译嵌入式代码。编译器（Microchip的C32，基于GCC）根据所选处理器设置宏，然后在PIC32头文件中使用该宏来选择要包含的特定于处理器的头文件。因此，cppcheck失败，因为它检测到用于选择众多可能的PIC32处理器之一的30个不同#ifdef，尝试分析这些加上所有其他#define的所有可能组合，并失败

例如，如果splint可以处理C99代码，我会使用

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

另一个问题是PIC32工具链编译器被称为pic32-gcc，而不仅仅是gcc，尽管我还没有达到需要考虑的程度。

更新＃1 - 我感兴趣的一件事，但与这个问题正交，是Eclipse集成（不必为30多个编译单元编写一个makefile很好）。我在Eclipse forums上询问了这个问题（尽管讨论中有更多关于与Eclipse集成的内容）。没有什么是开创性的。

更新＃2 - 刚从clang尝试scan-build，使用：

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

...（也没有--use-cc标志）但我得到的只是典型的构建输出，其中一个例子是：

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

......最后：

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.

因此根据scan-build我的代码是完美的，或者它没有做任何事情。我不确定一个好的测试可能是看它是否有效。

Answer 1

Clang's static analyzer应该有用。

源代码#defines的另一个选项是您可以使用某些预处理器语句在源代码上运行cpp，然后通过静态分析器运行生成的代码。

Answer 2

你可以在标题的顶部添加一些这样的代码，以保证它的定义：

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

Answer 3

不要使用带有clang的scan-build，而是考虑完全换掉gcc！ Clang的C支持是稳定的（并且最好模仿gcc），并且应该处理你的代码。

尝试类似make -j3 CC=clang的内容，看看会发生什么！

PS。这种语法可能完全错误。多年没有使用过makefile（CMake很棒）。

Answer 4

根据您希望在代码上运行的实际分析，您可以查看Frama-C。它使用您告诉它的任何C预处理器，因此您可以根据需要使用PIC32的CPP。

Answer 5

这可能不会直接为您提供解决方案，但您可能会考虑查看Coverity，它是一个专有的静态语法分析器，但对于OS项目是免费的。它应该做你需要的工作！

干杯！

Answer 6

您可以使用sunifdef之类的工具根据假定的定义宏部分预处理源代码。您必须制作受这些定义影响的系统和库头的副本，并对其进行处理。然后，在进行静态分析时，您将指定一个指向已处理标题的不同包含路径。

免费的C99代码静态检查器

6 个答案: