MISRA C:2012 Rule 21.6

The Standard Library input/output functions shall not be used

全页展开

描述

规则定义

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

理由

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

Polyspace 实现

Polyspace^® 在从 <stdio.h> 和 <wchar.h> 头文件中调用文件和流输入/输出函数时报告违规。如果标准库函数是一个宏，且该宏在代码中被展开，则违反此规则。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 类别：必需

版本历史记录

在 R2014b 中推出

全部展开

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

Polyspace 将使用 <wchar.h> 提供的文件或流输入和输出函数报告为违反此规则。例如，在此代码中，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
}

R2023a: 使用 `snprintf()`、`vsnprintf()` 和 `vsscanf()` 会被标记

现在，当您使用以下任何标准库输入/输出函数时，规则检查器都会报告违反此规则：

snprintf()
vsnprintf()
vsscanf()

另请参阅

检查 MISRA C:2012 (-misra3)

主题

检查并审查编码标准违规

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.