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