基于关键参数识别的智能合约漏洞检测方法及相关装置制造方法及图纸

本发明专利技术属于一种智能合约漏洞检测方法，为了解决由于智能合约在开发和执行过程中往往存在安全风险和漏洞，导致恶意用户能够操纵合约、盗取资产或使合约陷入意外执行状态的技术问题，提供一种基于关键参数识别的智能合约漏洞检测方法及相关装置，基于智能合约的字节码，生成可读的程序控制流结构，利用符号执行技术将每个函数方法转变为有效的符号约束表达式，并根据不同漏洞判定条件对合约进行符号约束求解，对于存在的漏洞合约，利用模糊测试技术准确模拟智能合约在真实场景下的运行结果，对漏洞触发路径进行深度搜索，对可达的模糊测试结果进行分析，识别恶意模型中的关键参数，自动化分析智能合约的参数依赖风险。

【技术实现步骤摘要】

本专利技术属于一种智能合约漏洞检测方法，具体涉及一种基于关键参数识别的智能合约漏洞检测方法及相关装置。

技术介绍

1、智能合约是一种基于区块链技术的自动执行合约的计算机程序。目的是在没有第三方干预的情况下，确保合约各方之间的交易和协议得到可靠执行。智能合约的主要应用领域包括数字货币、去中心化金融(defi)和供应链管理等。然而，智能合约的开发和执行过程中往往存在一些安全风险和漏洞。这些漏洞可能导致恶意用户操纵合约、盗取资产或使合约陷入意外的执行状态。主要问题在于：

2、(1)由于开发人员的疏忽引入代码缺陷，例如逻辑错误、整数溢出、未授权访问等。这些漏洞可能会被攻击者利用，导致用户资产被盗取或合约执行出现意外情况。另外，智能合约的复杂性也增加了漏洞的风险。智能合约通常由多个函数和条件语句组成，其中的逻辑关系和数据流可能非常复杂。开发者在编写合约时，可能会出现错误或忽略某些安全细节，从而导致潜在的漏洞存在。

3、(2)智能合约的执行也面临外部依赖风险。智能合约通常需要与外部数据源、外部合约或外部网络进行交互，以获取必要的信息或完成特定的本文档来自技高网...

【技术保护点】

1.一种基于关键参数识别的智能合约漏洞检测方法，其特征在于，包括以下步骤：

2.根据权利要求1所述基于关键参数识别的智能合约漏洞检测方法，其特征在于：所述更新变量，包括：

3.根据权利要求2所述基于关键参数识别的智能合约漏洞检测方法，其特征在于：所述生成控制流图结构中函数的符号约束，包括：

4.根据权利要求3所述基于关键参数识别的智能合约漏洞检测方法，其特征在于：所述结合所述初始外部参数解，生成bet函数模糊测试的初始测试方案，包括：

5.根据权利要求4所述基于关键参数识别的智能合约漏洞检测方法，其特征在于：所述基于所述初始测试方案，结合迭...

【技术特征摘要】

1.一种基于关键参数识别的智能合约漏洞检测方法，其特征在于，包括以下步骤：

2.根据权利要求1所述基于关键参数识别的智能合约漏洞检测方法，其特征在于：所述更新变量，包括：

3.根据权利要求2所述基于关键参数识别的智能合约漏洞检测方法，其特征在于：所述生成控制流图结构中函数的符号约束，包括：

4.根据权利要求3所述基于关键参数识别的智能合约漏洞检测方法，其特征在于：所述结合所述初始外部参数解，生成bet函数模糊测试的初始测试方案，包括：

5.根据权利要求4所述基于关键参数识别的智能合约漏洞检测方法，其特征在于：所述基于所述初始测试方案，结合迭代模糊测试和自适应策略，对智能合约的函数进行测试，确定是否存在漏洞风险，包括：

<...

【专利技术属性】
技术研发人员：刘烃，胡宇睿，吴昊，王海军，
申请(专利权)人：西安交通大学，
类型：发明
国别省市：