浙江大学黄瀚获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉浙江大学申请的专利基于LLVM编译框架来增强WebAssembly内存安全的方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116303143B 。
龙图腾网通过国家知识产权局官网在2026-04-24发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310463110.0,技术领域涉及:G06F12/14;该发明授权基于LLVM编译框架来增强WebAssembly内存安全的方法是由黄瀚;蔡亮;鲍凌峰设计研发完成,并于2023-04-26向国家知识产权局提交的专利申请。
本基于LLVM编译框架来增强WebAssembly内存安全的方法在说明书摘要公布了:本发明公开一种基于LLVM编译框架来增强WebAssembly内存安全的方法,该方法通过扩展WebAssembly指令集,让指令集中与读写内存相关的指令的地址格式中都带有内存读写范围base和size以及额外元数据attr;通过修改后的LLVM编译器后端把LLVMIR编译为扩展后的WebAssembly指令集对应的wasm文件;wasm文件运行在适配的WebAssembly虚拟机上,当虚拟机需要解释或编译WebAssembly中内存读写相关的指令时,能够获取运行时安全检查的元数据,用于检查是否产生了越界访问等内存访问错误,提高WebAssembly的内存安全。本发明基于LLVM的编译框架编译出扩展指令集后的WebAssembly文件,通过扩展WebAssembly提高了运行时的内存安全。
本发明授权基于LLVM编译框架来增强WebAssembly内存安全的方法在权利要求书中公布了:1.一种基于LLVM编译框架来增强WebAssembly内存安全的方法,其特征在于,该方法具体包括如下步骤: 1扩展WebAssembly指令集,增加新的抽象地址类型base,size,attr,addr,分别表示内存对象或其子对象的起始地址、大小以及属性,addr表示要访问的对象的地址; 2根据扩展后的WebAssembly指令集,修改LLVM编译器后端,为抽象地址类型增加DAG节点类型,增加或修改相关转换的Pass; 3通过修改后的LLVM编译器后端,将能够编译为LLVMIR格式的代码编译出已进行指令集扩展的wasm文件; 4修改WebAssembly虚拟机,使其适配扩展后的WebAssembly指令集,使其能够编译或解释修改后的指令集对应的wasm文件; 5将wasm文件运行在修改后的WebAssembly虚拟机上,当遇到与访问内存相关的WebAssembly指令时,在抽象地址类型base,size,attr,addr中分别获得访问地址addr和相关的内存安全的元数据,并进行内存安全检查,如果检查到内存访问错误,就终止wasm可执行文件的运行。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人浙江大学,其通讯地址为:310058 浙江省杭州市西湖区余杭塘路866号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励