本页采用了机器翻译。点击此处可查看最新英文版本。

MISRA C:2012 Rule 21.3

The memory allocation and deallocation functions of <stdlib.h> shall not be used

全页展开

描述

规则定义

The memory allocation and deallocation functions of <stdlib.h> shall not be used 1 .

理由

使用内存分配和释放例程可能会导致未定义行为。例如：

  • 您释放了未动态分配的内存。

  • 您使用了指向已释放内存位置的指针。

Polyspace 实现

检查项标记了 calloc、malloc、realloc、aligned_alloc 和 free 函数的使用情况。

如果您定义了与这些动态堆内存分配函数同名的宏，并在代码中展开这些宏，则违反了此规则。假设规则 21.2 未被违反。

报告中的补充消息

  • 宏 <name> 不得使用。

  • 标识符 XX 不应使用。

故障排除

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

示例

全部展开

#include <stdlib.h>

static int foo(void);

typedef struct struct_1 {
    int a;
    char c;
} S_1;

static int foo(void) {

    S_1 * ad_1;
    int  * ad_2;
    int  * ad_3;

    ad_1 = (S_1*)calloc(100U, sizeof(S_1));        /* Non-compliant */
    ad_2 = malloc(100U * sizeof(int));             /* Non-compliant */
    ad_3 = realloc(ad_3, 60U * sizeof(long));      /* Non-compliant */

    free(ad_1);                                    /* Non-compliant */
    free(ad_2);                                    /* Non-compliant */
    free(ad_3);                                    /* Non-compliant */

    return 1;
}

在此示例中，当使用函数 malloc、calloc、realloc 和 free 时，违反了该规则。

检查信息

组：标准库
类别：必需
AGC 类别：必需

版本历史记录

在 R2014b 中推出

另请参阅

|

主题

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.