MISRA C 2012指令4.12是"不应使用动态内存分配"。
作为示例，该文档提供了以下代码示例：
char *p = (char *) malloc(10);
char *q;
free(p);
q = p; /* Undefined behaviour - value of p is indeterminate */
该文档指出：
尽管在调用free后指针中存储的值未更改，但在某些目标上，它所指向的内存可能已不再存在，复制该指针的行为可能会引起内存异常。
我对这个句子几乎都没问题，但是最后一句话有点疑问。由于p和q都是分配在堆栈上的，复制指针如何引起内存异常？
根据标准规定，复制指针q = p;是未定义行为。
阅读《J.2 未定义行为》可以得知:
使用了已经结束生命周期对象的指针值(6.2.4)。
到达这个章节我们可以看到:
6.2.4 对象的存储期
一个对象的生命周期是程序执行期间保证为其保留存储空间的部分。一个对象存在，具有恒定的地址33)，并在其生命周期内保持其最后存储的值34)。如果在其生命周期外引用对象，则行为未定义。当指向的对象（或者刚好超出）到达其生命周期的末尾时，指针的值变得不确定。
什么是不确定的：
3.19.2 不确定的值: 不确定的值可能是未指定的值或trap表示形式
q = malloc(10); if (p==q) ...会发生什么。请注意，此处涉及UB，需特别关注。 - R.. GitHub STOP HELPING ICE一旦通过指针释放对象，所有指向该内存的指针都变得不确定。即使是reading不确定的内存也是未定义行为（UB）。以下是UB：
char *p = malloc(5);
free(p);
if(p == NULL) // UB: even just reading value of p as here, is UB
{
}
malloc，但是您覆盖了 free 的功能，那么代码将不会有未定义的行为。但是，由于编译器可以假定 free 确实是标准库函数，因此它可以执行优化，这将导致代码变得未定义。 - kasperdfree()之后，指针是不确定的。 - Andrewfree()的标准声明是void free(void *ptr);，因此编译器无法处理指针本身，只能处理其内容。编译器不能将其设置为NULL或“销毁它”（你如何销毁指针？），或以花哨的、实现定义的方式执行其他操作，因为_free函数只能访问指针的本地副本_。无论如何，它都不能影响调用者版本的指针。你必须改变C标准为free (void**)，但这不可能发生。因此，C标准间接规定了上述第2点事项。 - Lundinfree是一个函数，那么它不能像C++中的delete一样始终将指针置为NULL。它必须是一个操作符。 - Antti Haapala -- Слава Україніp和q都是栈上的指针变量，但malloc()返回的内存地址不在栈上。free()释放了之前使用malloc()获取的内存区域，尝试使用该内存区域将产生未定义类型的行为。你可能会运气好，它能正常工作；你可能会倒霉，它不能正常工作。一旦你释放了一个内存区域，你不再拥有它，有其他的东西拥有它。malloc()分配变量定义，并且问题实际上包含短语“As p和q都在堆栈上分配”，因此前提似乎是成立的。 - Richard Chambersp指向的内存被释放后，不能直接使用它的值。同样地，未初始化指针的值也有相同的状态：即使只是为了复制而读取它，也会导致未定义的行为。p所指向的内存可能会使其值成为一个陷阱表示法。 LES BX,[BP+4] ; load pointer into ES:BX
将指针值的选择器部分加载到段寄存器中会具有验证选择器值的副作用：如果选择器没有指向有效的内存段，就会触发异常。
编译看似无害的语句q = p;可以以许多不同的方式编译：
MOV AX,[BP+4] ; loading via DX:AX registers: no side effects
MOV DX,[BP+6]
MOV [BP-6],AX
MOV [BP-4],DX
LES BX,[BP+4] ; loading via ES:BX registers: side effects
MOV [BP-6],BX
MOV [BP-4],ES
代码更加紧凑, 减少了1条指令
指针值被加载到可以直接用于解引用内存的寄存器中，这可能会导致生成的后续语句所需的指令更少。
ES:BX中会触发异常，也称为陷阱。LES指令来复制指针值，因为它更慢，但一些编译器会在指示生成紧凑代码时使用它，当时通常是常见选择，因为内存相对昂贵且稀缺。因为按照这种方式定义，此值变得不确定：使用了对象生命周期已结束的指针的值(6.2.4)。
但请注意，您仍然可以通过字符类型进行别名处理来操作该值：3.19.2 不确定的值：未指定的值或陷阱表示
/* dumping the value of the free'd pointer */
unsigned char *pc = (unsigned char*)&p;
size_t i;
for (i = 0; i < sizeof(p); i++)
printf("%02X", pc[i]); /* no problem here */
/* copying the value of the free'd pointer */
memcpy(&q, &p, sizeof(p)); /* no problem either */
即使指针未被解除引用，检查释放后的指针的代码存在两个问题：
C标准的作者不希望干扰在指针包含有关周围内存块信息的平台上实现语言的情况，并且可能会在任何使用指针的地方验证这些指针，无论它们是否被解除引用。如果存在这样的平台，则违反标准的代码可能无法与它们一起使用。
一些编译器基于这样的假设：程序永远不会接收到任何组合的输入，这些输入将调用UB，因此应该假定任何产生UB的输入组合都是不可能的。由于这个原因，即使是对目标平台没有不利影响的UB形式，如果编译器简单地忽略它们，也可能产生任意和无限的副作用。
在我看来，对已释放指针进行相等、关系或指针差异运算符操作不应对任何现代系统产生负面影响，但由于编译器流行应用疯狂的“优化”，有用的构造在常见平台上变得危险。
示例代码中的措辞不准确，让您感到困惑。
它说“p的值是不确定的”，但不是p的值不确定，因为p仍然具有相同的值（已释放的内存块的地址）。
调用free(p)不会更改p - 只有在定义p的范围之外离开时才会更改p。
相反，p指向的内容的值是不确定的，因为内存块已被释放，而且可能被操作系统取消映射。通过p或别名指针（q）访问它可能会导致访问冲突。
unsigned mul(unsigned short x, unsigned short y) {return x*y;}在乘积的算术值介于INT_MAX+1u和UINT_MAX之间的情况下可能会干扰周围代码的行为。 - supercatp 可能是一个“陷阱表示”，因此简单地复制它将会导致错误。 - nobody
p是堆栈上的本地变量，但它指向堆。如果在代码片段之后解引用q，则会出现未定义行为。 - Basile Starynkevitchunsigned int。但即使是unsigned也可能会被误用。 - MSalters