MISRA C 2012 违反规则 9.1 即使使用初始化变量

Question

我正在尝试从我的代码中删除违反规则 9.1。

规则 9.1：具有自动存储持续时间的对象的值在设置之前不得读取

示例代码：

#include <stdint.h>
#include <stdbool.h>
#define VAL 0xABCDEFABU

int32_t main(void);
static int32_t do_test(bool k);
static void func(uint64_t *var3, const uint64_t *var5);

int32_t 
main (void)
{
    bool b = false;

    int32_t y = do_test(b);

    return y;
}

static int32_t
do_test(bool k)
{
    uint64_t i = 0, var4[10];

    int32_t result = 0;

    for(i = 0U; i < 10U; i++) {
      var4[i] = VAL + i;
    }

    if(k == false) {
      uint64_t var2[10];
      func(var2, var4);

      if(var2[9] == var4[9]) {
        result = 1;
      }

    }

      return result;
}


static void
func(uint64_t *var3, const uint64_t *var5)
{
    int32_t i;
    for(i = 0; i < 10; i++) {
      var3[i] = var5[i];
    }

}

我通过调用另一个函数“func”在函数 do_test 中初始化 var2，其中 var4 被复制到 var2。

编译正常，我得到 y value = 1。

是否是由于func中的参数作为指针而导致的违规，并且函数do_test没有通过func中的指针了解值分配

有没有办法解决这个问题？

Answer 1

这是许多静态分析器中的常见工具错误。您的静态分析器显然无法理解函数func 初始化了var2 的所有项目，因此您在var2[9] == var4[9] 行上得到误报。

在许多静态分析器中，int my_array[10]; initialize(my_array); 等代码会产生令人沮丧的误报。 “您尝试在数组初始化之前对其进行初始化！！！”哦，真的...谢谢你，最有用的静态分析器。

您的代码很好。向您的工具供应商提交错误报告。