重入性作為一個關鍵漏洞類持續存在。 現代變體涉及遞迴視圖邏輯、治理作和跨合同邊界的回退驅動的預言機扭曲。

靜電檢測提供的可見性有限。涉及狀態相關檢視、異步回調和共用合同依賴項的執行路徑需要上下文建模。

Spearbit 的高信號評論類比了回退觸發器和跨合約流的遞歸行為。每條路徑都使用攻擊者狀態建模進行跟蹤，以驗證假設並發現可利用的條件。

重入性必須作為執行層策略進行評估。閱讀完整分解：