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

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

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

投诉建议

在线咨询

联系我们

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

浙江大学陶逸铭获国家专利权

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

龙图腾网获悉浙江大学申请的专利一种基于内存映射编码的C和C++缓冲区越界访问错误的检测方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119046136B

龙图腾网通过国家知识产权局官网在2025-10-31发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202410996862.8,技术领域涉及:G06F11/362;该发明授权一种基于内存映射编码的C和C++缓冲区越界访问错误的检测方法是由陶逸铭;张浩然;吴春明;汪昌兴;魏之千;刘智扬;边振昆;买买江·克然木设计研发完成,并于2024-07-24向国家知识产权局提交的专利申请。

一种基于内存映射编码的C和C++缓冲区越界访问错误的检测方法在说明书摘要公布了:本发明公开了一种基于内存映射编码的C和C++缓冲区越界访问错误的检测方法。在进行软件测试的过程中,需要一种高效的内存错误检测工具检测软件中存在的内存错误,比如缓冲区溢出,释放后重使用等。但是目前常用的CC++内存错误检测工具无法检测出缓冲区非连续越界访问类型的内存错误。本发明基于内存映射编码和指令插桩等方法,设计了一种覆盖范围更大的缓冲区越界访问错误的检测方法。

本发明授权一种基于内存映射编码的C和C++缓冲区越界访问错误的检测方法在权利要求书中公布了:1.一种基于内存映射编码的C和C++缓冲区越界访问错误的检测方法,其特征在于,包括以下步骤: 1劫持所有的内存分配函数,在每次内存分配之后,将内存块中的每一个影子内存字节设置为标识该内存块大小的信息; 2利用LLVM对程序所有的getelementptr指令进行插桩,检测所有内存访问是否越界; 所述步骤2具体包括以下子步骤: 2.1根据getelementptr指令获得内存访问的基地址sourceAddr与访问偏移量Offset; 2.2根据基地址sourceAddr计算出影子内存地址ShadowAddr,并计算出影子内存中存储的剩余可访问大小信息Offset_To_End; 2.3比较访问偏移量Offset与剩余可访问大小信息Offset_To_End的大小,当访问偏移量Offset大于剩余可访问大小信息Offset_To_End时,检测得到内存访问越界,随后待测程序进行报错处理; 所述计算出影子内存中存储的剩余可访问大小信息Offset_To_End,具体包括以下子步骤: c1取影子内存地址ShadowAddr所存储的字节的第一个比特,当该比特为1时,将影子内存地址ShadowAddr减少一字节,直到计算该比特为0; c2设置剩余可访问大小信息Offset_To_End的初始值为0;取影子内存地址ShadowAddr所存储的字节的第二到第四个比特的值Value,将目前的剩余可访问大小信息Offset_To_End左移三位再加上Value后得到的值赋给Offset_To_End; 取影子内存地址ShadowAddr所存储的字节的第五个比特,如果该比特值为1,将影子内存地址shadowAddr增加一字节; c3重复步骤c2,直到影子内存地址ShadowAddr所存储的字节的第五比特为0,此时将最后求得的剩余可访问大小信息作为最终结果; c4如果影子内存地址ShadowAddr所存储的字节为{0,0,0,0,1,0,0,0}或者{0,0,0,0,1,a,b,c},其中,a,b,c为0或1,将当前影子内存地址赋值给Begin_ShadowAddr,然后将影子内存地址ShadowAddr加一,直到该影子内存地址对应的原始内存为不可访问时,将影子内存地址ShadowAddr对应的实际内存地址减去初始影子内存地址对应的实际内存地址,将差值作为剩余可访问大小信息Offset_To_End; 3针对程序越界访问的语句,强行终止程序运行,并打印报错信息。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人浙江大学,其通讯地址为:310058 浙江省杭州市西湖区余杭塘路866号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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

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