使用 splint 给嵌入式软件做静态分析

曾经终败给现在 2022-12-29 01:44 101阅读 0赞

安装 splint：

sudo apt-get install splint

使用 splint 做静态分析：

splint -f lint/splint.rc app/*.c

*  \-f lint/splint.rc 指定从 lint/splint.rc 文件中读取命令参数，如果命令参数文件命名为 .splintrc ，那么不需要显式指定。
 *  app/\*.c 对 app 目录下的所有源文件进行静态分析。

命令参数文件：

# splint.rc
    -systemdirs /home/user/tools/gcc/gcc-arm-none-eabi-5_4-2016q3/arm-none-eabi/include:hal/STM32L0xx/CMSIS/Include:hal/STM32L0xx/CMSIS/Device/ST/STM32L0xx/Include:hal/STM32L0xx/STM32L0xx_HAL_Driver/Inc
    
    -D__GNUC__
    -DUSE_FULL_LL_DRIVER
    -DSTM32L051xx
    -Ilib
    -Ihal/MyBoard/Inc
    -Ihal/STM32L0xx/STM32L0xx_HAL_Driver/Inc
    -Ihal/STM32L0xx/CMSIS/Include
    -Ihal/STM32L0xx/CMSIS/Device/ST/STM32L0xx/Include
    -I/home/user/tools/gcc/gcc-arm-none-eabi-5_4-2016q3/arm-none-eabi/include
    -preproc

将命令行参数放到命令参数文件中，每行一个命令，\# 开头的是注释行。splint 有一个示例文件：/usr/share/doc/splint/examples/splint.splintrc 。

*  \-systemdirs 将指定的目录作为系统头文件路径，默认不分析系统头文件，多个路径用冒号分隔。如果不希望分析某个目录下的头文件，那么可以将这个目录添加到这里。
 *  \-Ihal/MyBoard/Inc 指定头文件搜索路径，这应该和编译时传给编译器的头文件搜索路径一致。搜索路径可以指定多个，就像给编译器指定多个搜索路径一样，**特别要注意的是：最后要将编译器的头文件路径添加进去**，就是`-I/home/user/tools/gcc/gcc-arm-none-eabi-5_4-2016q3/arm-none-eabi/include`这一行，这是将 splint 用在嵌入式软件上的最特别之处。默认情况下，splint 认为编译器的头文件文件路径是 /usr/include ，嵌入式软件的系统头文件并不在这里，而是在编译器的相关目录下。
 *  \-DUSE\_FULL\_LL\_DRIVER 定义宏，应该和编译时传给编译器的参数一致，除此之外还要添加编译器预定义的宏，比如`__GNUC__`，要获取编译器预定义的宏，参考[打印GCC预定义宏][GCC]。

参考资料：

*  [splint manual][]
 *  [splint简要手册][splint]
 *  [Splint介绍][Splint]

rc: run command

[GCC]: https://blog.csdn.net/zoomdy/article/details/79361163
[splint manual]: http://splint.org/documentation/
[splint]: https://blog.csdn.net/xiaowang1379214245/article/details/82688802
[Splint]: https://www.cnblogs.com/qingxia/archive/2012/09/13/2683535.html