重入攻击仍然是一个关键的漏洞类别。 现代变种涉及递归视图逻辑、治理操控以及跨合约边界的回退驱动的预言机扭曲。

静态检测提供的可见性有限。涉及状态依赖视图、异步回调和共享合约依赖的执行路径需要上下文建模。

Spearbit 的高信号评审模拟了在回退触发器和跨合约流中的递归行为。每条路径都通过攻击者状态建模进行追踪，以验证假设并揭示可利用的条件。

重入性必须作为执行层策略进行评估。阅读完整分析：