hunt-smart-contract-race-dos

智能合约并发性、抢跑交易和拒绝服务漏洞检测。涵盖单函数和跨函数重入、只读重入（Curve/Balancer lpPrice）、交易排序依赖（TOD）/抢跑交易（夹心攻击、MEV优先Gas拍卖）、因意外回滚导致的DoS、因区块Gas限制耗尽导致的DoS（无界循环迭代），以及通过selfdestruct强制发送ETH。适用于在HackenProof、Immunefi或Code4rena上审计Solidity合约时使用。

模型生成摘要（rules/v1 · 2026-11-15 22:06）：智能合约并发性、抢跑交易和拒绝服务漏洞检测
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-11-15 22:05	15501e52	可取

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。