基于局部圖匹配的智能合約重入漏洞檢測方法

摘要： 針對以太坊中智能合約遭受重入漏洞攻擊的問題，文章提出一種基于局部圖匹配的智能合約重入漏洞檢測方法。該方法首先將智能合約源代碼轉(zhuǎn)化為包含基本結(jié)構(gòu)信息的抽象語法樹，并根據(jù)重入漏洞的特點裁剪抽象語法樹；然后從抽象語法樹中提取更加豐富的控制流和數(shù)據(jù)流，進而生成包含語法和語義信息的局部抽象語義圖數(shù)據(jù)。文章利用圖匹配神經(jīng)網(wǎng)絡(luò)對局部抽象語義圖進行模型訓(xùn)練和測試，使用開源智能合約漏洞樣本數(shù)據(jù)集...