Solidity 漏洞偵測

速報

AttackPathGNN：以圖神經網路解析 Solidity 合約攻擊路徑

現有的 Solidity 合約漏洞偵測大多只對單一函式做語法比對，卻忽略了跨函式的攻擊關係。研究團隊提出 AttackPathGNN，利用狀態干擾圖將共享可變儲存的函式以加權有向邊連結，並以五條件謂詞定義重入路徑。