【技术实现步骤摘要】
本申请涉及以太坊虚拟机缺陷检测，特别涉及一种以太坊虚拟机缺陷的根本原因检测方法及装置。
技术介绍
1、近年来，区块链技术得到了学术界、产业界和各国政府的广泛关注。其中，以太坊作为全球第二大的区块链平台，得到了蓬勃发展，支撑着智能合约的运行、分片区块链中跨分片交易的处理以及非同质化代币、去中心化金融和游戏等上层应用。以太坊的智能合约的运行依赖着底层的以太坊虚拟机，然而在以太坊虚拟机的实现中却存在着一些缺陷，导致以太坊虚拟机出现漏洞，影响区块链系统的安全性和可用性。
2、相关技术中，可以依赖于智能合约编译器生成的字节码进行以太坊虚拟机缺陷检测；可以利用neodiff或go evmlab，依赖预定义的模板生成字节码，采用基于模板的字节码级别的测试用例生成方法进行缺陷检测。
3、然而，相关技术中，由于智能合约编译器无法生成语义无效的测试用例，因此直接使用智能合约编译器生成的字节码进行以太坊虚拟机缺陷检测无法检测以太坊虚拟机实现中对语义无效字节码处理的逻辑，导致无法有效覆盖以太坊虚拟机执行过程中的边界情况；另外，智能合约编...
【技术保护点】
1.一种以太坊虚拟机缺陷的根本原因检测方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的方法，其特征在于，所述基于目标大语言模型生成以太坊虚拟机的测试用例，包括：
3.根据权利要求2所述的方法，其特征在于，所述基于目标大语言模型生成以太坊虚拟机的测试用例，还包括：
4.根据权利要求1所述的方法，其特征在于，在基于所述测试用例和预先构建的差分测试引擎，获取所述以太坊虚拟机的执行过程信息和执行结果之前，还包括：
5.根据权利要求1所述的方法，其特征在于，所述目标缺陷鉴别指标包括所述以太坊虚拟机的返回值、燃气消耗和存储
【技术特征摘要】
1.一种以太坊虚拟机缺陷的根本原因检测方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的方法，其特征在于，所述基于目标大语言模型生成以太坊虚拟机的测试用例，包括：
3.根据权利要求2所述的方法，其特征在于，所述基于目标大语言模型生成以太坊虚拟机的测试用例，还包括：
4.根据权利要求1所述的方法，其特征在于，在基于所述测试用例和预先构建的差分测试引擎，获取所述以太坊虚拟机的执行过程信息和执行结果之前，还包括：
5.根据权利要求1所述的方法，其特征在于，所述目标缺陷鉴别指标包括所述以太坊虚拟机的返回值、燃气消耗和存储中的至少一个。
6.根据权利要求1所述的方法，其特征在于，所述如果所述以太坊虚拟机对所述操作码实现的源代码存在缺陷...
【专利技术属性】
技术研发人员：高莹，马杰，刘亮鑫，郭蕾，
申请(专利权)人：北京航空航天大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。