恭喜杭州趣链科技有限公司李伟获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜杭州趣链科技有限公司申请的专利基于Solidity智能合约的语法信息提取方法、设备和存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN111538504B 。
龙图腾网通过国家知识产权局官网在2025-02-18发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202010297066.7,技术领域涉及:G06F8/41;该发明授权基于Solidity智能合约的语法信息提取方法、设备和存储介质是由李伟;张帅;蔡亮;匡立中;邱炜伟设计研发完成,并于2020-04-15向国家知识产权局提交的专利申请。
本基于Solidity智能合约的语法信息提取方法、设备和存储介质在说明书摘要公布了:本发明提供一种基于Solidity智能合约的语法信息提取方法、设备和存储介质,包括:调用第一索引算法构建当前语法节点对应的第一业务类同时保存当前语法节点的语法信息的索引关系;调用语法填充算法填充当前第一业务类的语法信息;调用下一层语法节点业务类以进行下一层业务类对应的语法信息的填充,直到所有业务类全部填充完成;对合约的继承顺序排序以获取每个合约的继承线信息从而准确实现合约中各表达式类型的追溯。本发明通过递归建立一棵由各个语法节点业务类组成的树状数据结构的方式,使得各个语法节点能够充分获取该语法节点的语法信息,解决了基于语法树遍历实现的语法信息提取方法语法信息提取不完整、不准确的问题。
本发明授权基于Solidity智能合约的语法信息提取方法、设备和存储介质在权利要求书中公布了:1.一种基于Solidity智能合约的语法信息提取方法,其特征在于,包括:调用第一索引算法构建当前语法节点对应的第一业务类同时在当前节点的父节点的第二业务类中保存当前语法节点的语法信息的索引关系;重复执行上述调用步骤为子节点建立对应语法业务类,直到出现叶子语法节点,其中,第一业务类的构建参数包括所述当前语法节点的语法信息和所述第二业务类;调用语法填充算法填充当前第一业务类的语法信息,同时完成变量的类型追溯和确定变量的作用域;调用下一层语法节点业务类以进行下一层业务类对应的语法信息的填充,直到所有业务类全部填充完成;所述同时完成变量的类型追溯和确定变量的作用域包括:判断当前语法节点中是否含有变量定义的语法节点:是,则从当前语法节点向上遍历以获取所述变量的类型信息;将当前语法节点业务类的父语法节点业务类的第一变量类型表复制存储为当前语法节点的第二变量类型表,并根据所述第二变量类型表更新当前语法节点的所包含的变量定义类型;对合约的继承顺序排序以获取每个合约的继承线信息从而准确实现合约中各表达式类型的追溯,包括:根据调用语法填充算法填充的合约定义信息获得每个合约的直接继承信息,即当前合约直接继承哪些合约,在合约的inheritanceSpecifier中指定,最后获得每个合约继承的所有合约信息;在进行表达式追溯时,如果当前表达式节点包含下一层语法节点,根据确定其子表达式节点信息,并根据运算的结果来确定当前表达式的类型信息;根据索引关系调用新建好的子语法节点的表达式类型追溯的方法,使当前表达式业务类递归填充下一层表达式类型信息直到确定合约中的所有表达式都得到具体的类型。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人杭州趣链科技有限公司,其通讯地址为:310051 浙江省杭州市滨江区丹枫路399号2号楼A楼2001室;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。