如何让Cppcheck检测到首个错误后继续执行代码检查？

我编写了如下代码：

bad_code.c

/* Bad Macro */
#define HASH_TOKEN_IN_MACRO( A ) printf ( #A )

/* array should not be partially initialised */
static int32_t s32ArrayBadInit[3]={0,1};

/* value written beyond the size of the buffer */
void buffer_overflow(void)
{
    static uint32_t u32Buffer[2];
    u32Buffer[3] = 0u;
    /* objects should not be initialised more than once */
    s32ArrayBadInit[0]=2;
}

/* macro abuse breaks Cppcheck */
void tokens_in_macros(void)
{
    HASH_TOKEN_IN_MACRO (
#ifdef SW /* Non-compliant */ // <---- Cppcheck error reported here but no other error
        "Message 1"
#else /* Non-compliant */
        "Message 2"
#endif /* Non-compliant */
    );
}

执行命令：cppcheck ./bad_code.c

工具仅报告#ifdef SW行的单个错误，未检测出其他问题。请问如何让Cppcheck报告该代码示例中的所有问题？

解决方案 #

要让Cppcheck检测出代码中所有潜在问题，需调整检查策略并处理宏解析限制：

1. 启用高级别检查规则
   Cppcheck默认仅运行基础检查，添加--enable=warning可开启常见问题检测（如数组部分初始化、重复赋值）：

   cppcheck --enable=warning ./bad_code.c
   

   若需要全覆盖检查，使用--enable=all开启所有规则（注意会包含少量误报）：

   cppcheck --enable=all ./bad_code.c
   

2. 启用安全类检查
   缓冲区溢出属于安全风险，需显式启用安全规则：

   cppcheck --enable=security ./bad_code.c
   

   可组合警告与安全检查，兼顾常见问题与风险：

   cppcheck --enable=warning,security ./bad_code.c
   

3. 强制解析宏内预处理器指令
   代码中宏参数嵌套#ifdef会中断Cppcheck的解析流程，可通过--force选项强制继续检查：

   cppcheck --enable=all --force ./bad_code.c
   

   更规范的做法是重构代码，避免在宏参数中嵌套预处理器指令，从根源上消除解析障碍。

4. 指定C标准版本（可选）
   若代码基于特定C标准（如C99/C11），指定标准版本可提升解析准确性：

   cppcheck --std=c99 --enable=all ./bad_code.c
   

执行上述组合命令后，Cppcheck将能够报告以下所有问题：

• 数组s32ArrayBadInit的部分初始化问题
• u32Buffer[3]的缓冲区越界访问
• s32ArrayBadInit[0]的重复赋值
• 宏内预处理器指令的解析错误

内容的提问来源于stack exchange，提问作者deadParrot