本发明涉及电数据处理技术领域,具体为基于跨合约控制流图的智能合约漏洞检测方法和系统;为解决现有技术中智能合约误报率和漏报率较高的技术问题,本发明将存在着调用关系的多个智能合约的控制流图进行相连,生成跨合约控制流图,通过构建跨合约控制流图来解决智能合约间不同的调用路径和交互,更清晰地捕捉智能合约的执行逻辑和潜在的漏洞;并基于跨合约控制流图中,智能合约的执行逻辑以及智能合约之间的调用关系,并针对不同的漏洞,设计不同的漏洞检测规则,对智能合约进行漏洞检测,得到漏洞检测结果,与其他先进现有漏洞检测方法进行比较发现,本发明漏洞检测方法可以检测跨合约漏洞,误报率和漏报率低,有效提高了漏洞检测的精确度。 |