南方科技大学张殷乾获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉南方科技大学申请的专利一种基于二进制插桩的沙箱、内存隔离方法及存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115659333B 。
龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211253504.5,技术领域涉及:G06F21/56;该发明授权一种基于二进制插桩的沙箱、内存隔离方法及存储介质是由张殷乾;彭维;王伟力;肖兆祺;刘晟淇设计研发完成,并于2022-10-13向国家知识产权局提交的专利申请。
本一种基于二进制插桩的沙箱、内存隔离方法及存储介质在说明书摘要公布了:本发明提出了一种基于二进制插桩的沙盒、内存隔离方法及存储介质,应用于以AOT编译的方式进行WASM字节码编码时的内存隔离,所述沙盒通过动态插桩工具从WASM虚拟机中提取出代码段信息和WASI函数信息;分析AOT编译运行时接收到的各条分支指令,确认各条分支指令所访问的内存处于AOT编译所对应内存内或各条分支指令的调用者在预设白名单上,最后执行AOT编译完成后得到的WASM本地代码,以实现对来自不受信任的AOT代码的托管。本实施例提供的沙盒及其内存隔离方法在WASM运行过程中对AOT模块进行动态检测,提取运行时的内存布局和AOT模块的保存地址和线性内存范围,限制了控制流和数据访问,从而提供了内存安全属性,因此具有很高的实用性。
本发明授权一种基于二进制插桩的沙箱、内存隔离方法及存储介质在权利要求书中公布了:1.一种基于二进制插桩的沙盒,其特征在于,应用于以AOT编译的方式进行WASM字节码编码时的内存隔离,所述沙盒包括:分析仪器模块、检查指令模块和执行模块; 分析仪器模块,用于通过动态插桩工具从WASM虚拟机中提取出代码段信息和WASI函数信息; 所述检查指令模块,用于分析AOT编译运行时接收到的各条分支指令,确认各条分支指令所访问的内存处于AOT编译所对应内存内或各条分支指令的调用者在预设白名单上; 所述执行模块,用于执行AOT编译完成后得到的WASM本地代码; 所述分析仪器模块包括:代码段信息提取单元; 所述代码段信息提取单元,用于通过动态插桩工具从WASM虚拟机中提取出代码段信息;其中,代码段信息为:WASM虚拟机分配加载AOT编译的WASM内存空间; 所述代码段信息提取单元还包括:图像水平仪器子单元; 所述图像水平仪器子单元,用于在图像层检测AOT实例函数的输入和输出的信息,以获取到代码段信息和所述代码段信息的线性内存边界。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人南方科技大学,其通讯地址为:518055 广东省深圳市南山区桃源街道学苑大道1088号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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