买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉南京航空航天大学申请的专利结合静态指针分析的内存安全运行时检测加速方法及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119903505B 。

龙图腾网通过国家知识产权局官网在2025-11-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411910962.0，技术领域涉及：G06F21/52；该发明授权结合静态指针分析的内存安全运行时检测加速方法及介质是由陈哲;毛瑞琪设计研发完成，并于2024-12-24向国家知识产权局提交的专利申请。

本结合静态指针分析的内存安全运行时检测加速方法及介质在说明书摘要公布了：本发明公开了一种结合静态指针分析的内存安全运行时检测加速方法及介质，所述方法包括：利用编译器对待检测程序的源代码进行预处理和解析，收集数组变量的元数据，进行过程内别名分析和过程间别名分析，插入用于跨过程传递元数据的代码片段，改写代码中的数组下标表达式，插入用于越界检测的代码片段，插入运行时检测代码，使用编译器和链接器编译、链接插桩后的源代码，生成可执行文件；运行可执行文件，输出内存安全运行时检测的结果。本发明使用轻量化的布尔表达式计算代替重量级的运行时检测，可以在不改动已有代码、不引入漏报和误报、保证报错和内存错误的时序性的前提下，有效降低运行时检测工具的时间开销，具有实际应用价值。

本发明授权结合静态指针分析的内存安全运行时检测加速方法及介质在权利要求书中公布了：1.一种结合静态指针分析的内存安全运行时检测加速方法，其特征在于，包括以下步骤： S1：利用编译器对待检测程序的源代码进行预处理，包括宏替换、导入头文件；然后利用编译器前端解析待检测程序的源代码，包括词法分析、语法分析、语义分析、生成抽象语法树； S2：收集数组变量的元数据：遍历抽象语法树的所有变量定义节点，如果该变量定义节点为定长或变长数组变量定义，则获取数组长度的符号值和数组元素的类型，加入元数据表其中VD为抽象语法树上变量定义节点，Len为数组元素的个数，Type为数组元素的类型； S3：过程内别名分析：分析元数据表中每一个变量定义可能的别名集合，包括所有可能指向每一个变量的指针，得到别名表和指针指向表 S4：过程间别名分析：根据过程内别名分析的结果，遍历抽象语法树上函数调用节点中的实参，如果实参引用了Malias中作为键的变量定义，则将被调用函数定义节点和参数序号加入函数参数序号表记录被调用函数定义中引用了Malias中作为键的变量定义的参数子集的序号；然后在被调用函数定义中调用过程内别名分析，并更新Mref，其中FD为抽象语法树上的函数定义节点，N为自然数集合； S5：插入用于跨过程传递元数据的代码片段：在运行时使用影子栈机制跨过程传递指针实参的元数据，使得元数据能在函数调用之前进入影子栈，在函数调用过程中从影子栈中获得元数据； S6：改写代码中的数组下标表达式，插入用于越界检测的代码片段； S7：插入运行时检测代码； S8：使用编译器和链接器编译、链接插桩后的源代码，生成可执行文件；运行可执行文件，输出内存安全运行时检测的结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京航空航天大学，其通讯地址为：210016 江苏省南京市秦淮区御道街29号南京航空航天大学；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。