C指针来源模型与别名分析

ISO/IEC TS 6010引入了指针来源（provenance）模型，解决C标准中指针别名与优化的模糊问题.

模型基于“存储实例”概念，定义了内存对象的最大存储区域及其生命周期.

建立了抽象地址空间，将指针与地址、整数转换行为标准化以保证一致性.

提出“暴露（exposure）”和“合成（synthesis）”机制，界定何时跟踪或放弃指针来源信息.

为相邻存储实例导致相同地址的情况提供基于指针使用方向的消歧规则.

建议日常代码避免暴露指针，如避免逐字节访问、指针与整数互转及使用%p打印指针，以利优化.