买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉安徽大学申请的专利针对智能合约的恶意代码自动检测方法、系统及计算设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120509033B 。

龙图腾网通过国家知识产权局官网在2025-09-12发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510999345.0，技术领域涉及：G06F21/56；该发明授权针对智能合约的恶意代码自动检测方法、系统及计算设备是由汪万森;张璞;孟昭逸;崔杰;仲红设计研发完成，并于2025-07-21向国家知识产权局提交的专利申请。

本针对智能合约的恶意代码自动检测方法、系统及计算设备在说明书摘要公布了：本发明公开了针对智能合约的恶意代码自动检测方法、系统及计算设备，涉及安全性分析技术领域，解决了现有技术存在遗漏关键执行状态的风险，从而引发恶意代码检测漏报的技术问题；本发明通过将源代码进行解析生成抽象语法树；遍历并识别抽象语法树中所有类型的地址变量标记为地址变量集合并分类；调用初始状态并构建带缓存池的符号执行引擎，将初始状态作为输入通过符号执行引擎输出矩阵；基于输出矩阵构建并初始化结果偏离表；根据符号置换器更新结果偏离表并生成偏离函数队列；基于偏离函数队列将结果偏离进行迭代分析得到最终偏离变量集合；根据最终偏离变量集合判断对应的智能合约是否存在恶意性；本发明覆盖了更大范围内的恶意合约代码。

本发明授权针对智能合约的恶意代码自动检测方法、系统及计算设备在权利要求书中公布了：1.针对智能合约的恶意代码自动检测方法，其特征在于，包括： S100：接收智能合约的源代码，对源代码进行解析生成抽象语法树；其中，抽象语法树包含：合约函数定义和全局变量；合约函数定义包括：合约构造函数和非合约构造函数； S200：提取合约构造函数，将合约构造函数执行后的存储状态、地址映射关系以及初始变量值作为初始状态； S300：遍历并识别抽象语法树中所有类型的地址变量标记为地址变量集合，将地址变量集合进行分类组成分类集合； S400：调用初始状态并构建带缓存池的符号执行引擎，将初始状态作为输入通过符号执行引擎输出矩阵；基于输出矩阵构建并初始化结果偏离表；构建符号置换器，根据符号置换器更新结果偏离表并生成偏离函数队列；其中，符号置换器用于将任一变量的符号化表示作为置换器输入，置换器将符号化表示中的符号量变换为与现有符号量均不相同的新建符号量； S500：基于偏离函数队列将结果偏离进行迭代分析得到最终偏离变量集合；根据最终偏离变量集合判断对应的智能合约是否存在恶意性；若是，则发出预警信号； 所述基于输出矩阵构建并初始化结果偏离表，包括： S421：调取分类集合中每个类别的代表地址，任意选取代表地址中的一个标记为锚定地址，并将锚定地址所属的类别标记为锚定类别； S422：调取非合约构造函数，将非合约构造函数和锚定地址作为符号执行引擎的输入，并将符号执行引擎的一次输出矩阵标记为对应非合约构造函数的首轮锚定矩阵； S423：将非合约构造函数和非锚定地址作为符号执行引擎的输入，得到符号执行引擎的二次输出矩阵；判断二次输出矩阵与首轮锚定矩阵的矩阵相减之差是否为非零矩阵；是，则将矩阵相减之差与1×n的全一矩阵相乘的得到二次输出矩阵与首轮锚定矩阵的偏离值，并基于偏离值和二次输出矩阵构建结果偏离表；否，则将符号执行结果标记为无偏离；其中，符号执行结果为符号执行引擎的输出矩阵，n为智能合约中全局变量的数量。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人安徽大学，其通讯地址为：230000 安徽省合肥市肥西路3号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。