Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 积分商城 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 南京航空航天大学陈哲获国家专利权

南京航空航天大学陈哲获国家专利权

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

龙图腾网获悉南京航空航天大学申请的专利对包含特定语句的程序进行内存安全性动态分析的方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116126705B

龙图腾网通过国家知识产权局官网在2026-02-24发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310017945.3,技术领域涉及:G06F11/362;该发明授权对包含特定语句的程序进行内存安全性动态分析的方法是由陈哲;马莺姿设计研发完成,并于2023-01-06向国家知识产权局提交的专利申请。

对包含特定语句的程序进行内存安全性动态分析的方法在说明书摘要公布了:本申请涉及一种对包含特定语句的程序进行内存安全性动态分析的方法。该方法包括:选择待插桩的源代码的项目目录或单个源代码文件;对源代码进行预处理,将宏调用替换为宏定义中的内容,并注释掉原来的宏调用;采用编译器生成源代码的符号表和抽象语法树;遍历抽象语法树中的所有节点,对源代码进行静态分析,对于无法处理的语句,进行修改后,重新进行插桩;遍历抽象语法树中的所有节点,并根据不同的节点类型对源代码进行不同的插桩,将插桩后的项目目录或文件用编译器进行编译,生成目标系统上的可执行文件并运行,对包含特定语句的程序进行内存错误检测,报告出错误对应的源代码的位置。避免了插桩失败或者插桩后程序无法被正确编译的问题。

本发明授权对包含特定语句的程序进行内存安全性动态分析的方法在权利要求书中公布了:1.一种对包含特定语句的程序进行内存安全性动态分析的方法,其特征在于,所述方法包括: 选择待插桩的源代码的项目目录或单个源代码文件; 对所述源代码进行预处理,注释掉所述源代码中的文件包含指令、宏定义指令以及插入被文件包含指令包含的源代码,将宏调用替换为宏定义中的内容,并注释掉原来的宏调用; 采用编译器生成所述源代码的符号表和抽象语法树; 遍历所述抽象语法树中的所有节点,对所述源代码进行静态分析,对于无法处理的语句,提示用户对所述源代码进行修改后,重新对修改后的源代码进行插桩; 遍历抽象语法树中的所有节点,并根据不同的节点类型对所述源代码进行不同的插桩,包括:对指针变量和结构体变量的定义和初始化语句、指针变量和结构体变量的赋值语句、函数调用语句、指针解引用语句、数组下标访问语句以及结构体成员访问语句进行插桩; 将插桩后的项目目录或文件用编译器进行编译,生成目标系统上的可执行文件; 将所述可执行文件部署到目标系统并运行,当所述可执行文件运行到已替换或插入的代码段时,对包含特定语句的程序进行内存错误检测,并报告出错误对应的源代码的位置。

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

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

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。