MISRA C:2023 Rule 21.6

The Standard Library input/output functions shall not be used

自 R2024a 起

全页展开

描述

规则定义

The Standard Library input/output functions shall not be used ¹ .

理由

此规则适用于 <stdio.h> 提供的函数，以及 C99 中由 <wchar.h> 提供的对应宽字符版本函数。使用这些函数可能会导致未指定行为、未定义行为以及实现定义的行为。

Polyspace 实现

如果您调用了 <stdio.h> 和 <wchar.h> 头文件中的文件与流输入/输出函数，则 Polyspace^® 会报告违规。如果标准库函数是一个宏，并且该宏在代码中被展开，那么就违反了此规则。Polyspace 会假设没有违反规则 21.2。

故障排除

如果您预期会出现违规，但未看到该违规，请参阅诊断为何编码规范违规未按预期显示。

示例

全部展开

使用 `<stdio.h>` 和 `<wchar.h>` 的输入和输出函数

在此示例中，函数 func() 调用了头文件 <stdio.h> 和 <wchar.h> 中的各种文件与流输入/输出函数。当使用了这些函数时，Polyspace 会报告违反了此规则。

#include <stdio.h>
#include <wchar.h>

void mixed_io_example() {
    // Define a buffer for wide characters
    wchar_t wbuffer[50];

    // Read a wide string from standard input
    wprintf(L"Enter a wide string: "); // Noncompliant
    fgetws(wbuffer, 50, stdin); // Noncompliant

    // Print the wide string using wide character output
    wprintf(L"You entered: %ls", wbuffer); // Noncompliant

    // Define a buffer for regular characters
    char buffer[50];

    // Read a regular string from standard input
    printf("Enter a regular string: "); // Noncompliant
    fgets(buffer, 50, stdin); // Noncompliant

    // Print the regular string using regular character output
    printf("You entered: %s", buffer); // Noncompliant
}

检查信息

组：标准库

类别：必需

AGC 类别：必需

版本历史记录

在 R2024a 中推出

全部展开

R2024b: 使用 `<wchar.h>` 提供的输入或输出函数会被报告为违规

当使用了 <wchar.h> 提供的文件或流输入和输出函数时，Polyspace 会报告违反了此规则。例如，在以下代码中，Polyspace 将 wprintf() 的使用情况报告为违反了此规则。

#include <wchar.h>
#include <stdio.h>

void manipulate_wide_strings() {
    // Define wide character strings
    wchar_t src[] = L"World";
    wchar_t dest[20] = L"Hello, ";

    // Copy src to dest
    wcscpy(dest + 7, src);

    // Concatenate an exclamation mark
    wcscat(dest, L"!");

    // Calculate length of the final string
    size_t len = wcslen(dest);

    // Print the wide character string and its length
    wprintf(L"Resulting string: %ls\n", dest); //Noncompliant
    wprintf(L"Length: %zu\n", len); //Noncompliant
}

另请参阅

检查 MISRA C:2023 (-misra-c-2023)

主题

检查并审查编码标准违规

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.