公开(公告)号：CN118626376A

公开(公告)日：2024-09-10

申请号：CN202410750280.1

申请日：2024-06-12

Applicant: 浙江工商大学

Inventor： 胡承泽 ,  刘振广 ,  穆忠政 ,  吴俊杰 ,  王勋

IPC: G06F11/36 ,  G06F8/36 ,  G06F18/22 ,  G06F18/2431 ,  G06N3/042 ,  G06N3/0455 ,  G06N3/082

Abstract: 本发明公开了一种基于语法语义分离的智能合约复用分层检测方法，首先将待测合约级智能合约通过文本检测检出T1和T2级相似后，划分为函数级代码；然后利用基于AST的节点嵌入和多层池化技术提取代码的语法特征，利用基于PDG的图嵌入技术和构造基于节点注意力机制的图神经网络技术提取代码的语义特征；最后利用提取到的语法特征和语义特征，通过构造多层感知机，得到最终T3、T4和T0的分类检测结果。本发明利用最新的深度学习技术，通过对代码语法和语义信息的分开提取并进行特征学习，实现了代码相似度检测和复用层次的分层，实现了精度更高、效率更高的检测结果，具有良好的通用性和实用价值。

公开(公告)号：CN117251375A

公开(公告)日：2023-12-19

申请号：CN202311298302.7

申请日：2023-10-09

Applicant: 浙江工商大学

Inventor： 吴汉杰 ,  穆忠政 ,  刘振广 ,  王勋 ,  杜泽仁

IPC: G06F11/36 ,  G06N3/043 ,  G06F21/57

Abstract: 本发明公开了一种基于N‑gram模型指导智能合约调用序列生成的双层模糊测试方法，通过训练函数序列生成模型来知道模糊测试器确定函数调用的先后关系；在第一层模糊测试的过程中结合了分支搜寻策略，来探寻函数调用序列对应所有可到达的分支以及能够到达该分支测试用例形成测试套件集合；在第二层模糊测试的过程中结合了掩码引导变异策略，引导测试套件中的测试用例变异生成更多能够到达对应分支的测试用例。本发明方法采用双层模糊结构，同时结合了合约调用序列的生成模型、分支搜寻策略、掩码引导变异策略，指导模糊检测器实现效率更快、覆盖率更广、准确率更高的智能合约漏洞检测，不仅具有良好的实用价值，而且有很好的借鉴意义。