速報
AttackPathGNN:以圖神經網路解析 Solidity 合約攻擊路徑
現有的 Solidity 合約漏洞偵測大多只對單一函式做語法比對,卻忽略了跨函式的攻擊關係。研究團隊提出 AttackPathGNN,利用狀態干擾圖將共享可變儲存的函式以加權有向邊連結,並以五條件謂詞定義重入路徑。
速報
現有的 Solidity 合約漏洞偵測大多只對單一函式做語法比對,卻忽略了跨函式的攻擊關係。研究團隊提出 AttackPathGNN,利用狀態干擾圖將共享可變儲存的函式以加權有向邊連結,並以五條件謂詞定義重入路徑。
深度分析
本報導改寫自 ArXiv 研究,介紹 ReX 框架──一套將大型語言模型(LLM)與 Foundry 測試環境串接,實現智能合約 Automated Exploit Generation(自動化利用生成,AEG)的端對端流程。