程序设计语言 C——可识别来源的C语言内存对象模型标准立项发展报告.docx

程序设计语言C——可识别来源的C语言内存对象模型标准立项发展报告

StandardizationDevelopmentReport:Programminglanguages—C—Aprovenance-awarememoryobjectmodelforC

摘要

C语言作为操作系统内核、编译器、数据库及嵌入式系统等基础软件的核心开发语言，其内存管理语义的严谨性直接关系到关键信息基础设施的安全与可靠。然而，现行ISO/IEC9899标准对指针“来源”（provenance）语义规定不够充分，整数与指针转换、对象生命周期结束后的指针使用等场景长期存在未定义行为歧义，成