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

龙图腾网恭喜南京航空航天大学申请的专利基于抽象语法树的智能合约漏洞检测的方法及应用获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115017514B 。

龙图腾网通过国家知识产权局官网在2025-03-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210611791.6，技术领域涉及：G06F21/57；该发明授权基于抽象语法树的智能合约漏洞检测的方法及应用是由刘哲;董伟良设计研发完成，并于2022-05-31向国家知识产权局提交的专利申请。

本基于抽象语法树的智能合约漏洞检测的方法及应用在说明书摘要公布了：本发明公开了一种基于抽象语法树的智能合约漏洞检测的方法及应用，该方法包括：对智能合约的源代码进行词法分析和语法分析，以构造出所述源代码的抽象语法树；遍历所述抽象语法树，以补充抽象语法树的节点信息，并从补充后的抽象语法树中提取智能合约的控制流图、读写变量信息；根据所述控制流图获取智能合约的执行路径集，并根据所述读写变量信息获取所述智能合约的数据流分析结果；根据数据流分析结果和所述抽象语法树自定义漏洞检测器，并将漏洞检测器应用到所述执行路径集的每条路径中；遍历所述抽象语法树，以得到漏洞检测器的检测结果，并将检测结果输入到JSON文件中。该方法能够发现智能合约中存在的漏洞，保证智能合约开发过程中的安全性。

本发明授权基于抽象语法树的智能合约漏洞检测的方法及应用在权利要求书中公布了：1.一种基于抽象语法树的智能合约漏洞检测的方法，其特征在于，所述方法包括：对智能合约的源代码进行词法分析和语法分析，以构造出所述源代码的抽象语法树；遍历所述抽象语法树，以补充所述抽象语法树的节点信息，并从补充后的抽象语法树中提取所述智能合约的控制流图、读写变量信息；根据所述控制流图获取所述智能合约的执行路径集，并根据所述读写变量信息获取所述智能合约的数据流分析结果；根据所述数据流分析结果和所述抽象语法树自定义漏洞检测器，并将所述漏洞检测器应用到所述执行路径集的每条路径中；以及遍历所述抽象语法树，以得到所述漏洞检测器的检测结果，并将所述检测结果输入到JSON文件中；根据所述控制流图获取所述智能合约的执行路径集，并根据所述读写变量信息获取所述智能合约的数据流分析结果，包括：对所述控制流图的非环版本进行深度优先搜索，得到所述智能合约所有的执行路径；根据所述读写变量信息对所述智能合约进行定值到达和活性分析，以得到数据流分析结果；以及将所述数据流分析结果抽象成数据结构，以便分析所述智能合约的复杂语义特征；所述定值到达的公式为：INn＝∪p∈prednOUTp，OUTn＝GENn∪INn-KILLn，其中，INn和OUTn分别代表所述智能合约当前语句的流入与流出信息流，GENn和KILLn分别代表所述智能合约当前语句生成信息和杀掉信息，p代表当前语句的上条语句；以及所述活性分析的公式为：OUTn＝∪s∈sucnINs，INn＝USEn∪OUTn-DEFn，其中，INn和OUTn分别代表所述智能合约当前语句的流入与流出信息流，USEn和DEFn分别代表所述智能合约当前语句中使用和定义的变量，s代表当前语句的下条语句。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京航空航天大学，其通讯地址为：211100 江苏省南京市秦淮区御道街29号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。