Coverity 静态分析将 char 或 numbers 视为 C 中的 int

Question

LHS 和 RHS 变量都是 uint8_t 变量，但问题被报告为“从 int 转换为 unsigned char”。我不明白这怎么会是个问题？

同样适用于 8 位数字

两个问题中列出的所有变量都是 uint8_t

问题 1)

CID 147563 (#2 of 2): Coding standard violation (CERT INT31-C)3. cert_violation: 
Casting (uint8_t)apX_compY_bitmask from int to unsigned char without checking its 
value may result in lost or misinterpreted data.

/* AP_X_Flash_Component_Y_Authenticated */
static uint8_t AP_component_require_auth; 

//Local variable:

uint8_t apX_compY_bitmask = 0u, port;

// other operations

AP_component_require_auth |= (uint8_t)apX_compY_bitmask;

问题 2)

CID 148170 (#1 of 1): Coding standard violation (CERT INT31-C)5. cert_violation: 
Casting major_revision >> 3 from int to unsigned char without checking its 
value may result in lost or misinterpreted data.

函数参数：

void sb_rollb_prot_AP_FW_in_use_update(uint8_t img_idx, uint8_t port, uint8_t major_revision, bool primary_image)

//Local Variable
uint8_t x_loc, y_loc;
y_loc = major_revision >> 3;

Answer 1

要了解导致警告的原因，您必须了解（或至少了解）C 语言有些晦涩、有时令人惊讶的类型提升规则。

C 位和算术运算符对 int 或 unsigned int 或 较大 类型进行操作，因此当呈现较小类型的操作数时，会发生隐式提升：

以这个“实验”为例：

#include <stdint.h>
#include <stdio.h>

int main()
{
    uint8_t a ;
    uint8_t b ;

    printf( "sizeof(a) = %zu\n", sizeof(a) ) ;
    printf( "sizeof(b) = %zu\n", sizeof(b) ) ;
    printf( "sizeof(a | b) = %zu\n", sizeof(a | b) ) ;
    printf( "sizeof((uint8_t)(a | b)) = %zu\n", sizeof((uint8_t)(a | b)) ) ;
    printf( "sizeof(a >> 3) = %zu\n", sizeof(a >> 3) ) ;
    printf( "sizeof((uint8_t)(a >> 3)) = %zu\n", sizeof((uint8_t)(a >> 3)) ) ;


    return 0;
}

输出（int 是 32 位）是：

sizeof(a) = 1
sizeof(b) = 1
sizeof(a | b) = 4
sizeof((uint8_t)(a | b)) = 1
sizeof(a >> 3) = 4
sizeof((uint8_t)(a >> 3)) = 1

所以在第一种情况下：

AP_component_require_auth |= (uint8_t)apX_compY_bitmask;

uint8_t 强制转换没有任何作用，因为它已经是那种类型，并且肯定不会破坏隐式转换。

我不熟悉 CERT-C 或 Coverity，但在我使用过的类似工具中，可以使用隐式转换来断言表达式是故意的：

AP_component_require_auth = (uint_8_t)(AP_component_require_auth | apX_compY_bitmask) ;

y_loc = (uint8_t)(major_revision >> 3) ;

如您所见，使用|= 无法解决此问题，因为您无法在赋值之前强制转换| 表达式的结果。

但是，如果没有令人信服的理由使用较小的类型，通常最好保持类型一致并避免隐式或显式转换并使用 int、unsigned 或相等/更大的整数类型。

这两种情况下的问题是将int 大小的类型分配给uint8_t。尽管第一个警告有点令人困惑——可能是由于使用了|=——阻止它呈现隐式转换表达式；如果没有我认为的不必要的演员表，你应该得到同样的错误。我熟悉的静态分析工具，会这样说：

在赋值中隐式转换为更小的类型

在这两种情况下，我认为这更清楚。

Coverity 警告简洁明了；如果您直接查看它正在执行的标准，它会更加明确并提供基本原理、示例和解决方案：https://wiki.sei.cmu.edu/confluence/display/c/INT31-C.+Ensure+that+integer+conversions+do+not+result+in+lost+or+misinterpreted+data