智能合约安全实验室

每一类都是三段式：脆弱代码 → 攻击链复现 → 修复版本

按「利用后果」而不是「出现频率」排序：6 类会造成资金全部损失。其中有 3 类在源码语法上完全正常，静态扫描一条也抓不到。

只讲原理的漏洞文章读完了还是不会写安全代码，只给一段坏代码又不知道该怎么改——两段放一起才形成闭环。

分 10 组，每一项都标注静态扫描的覆盖程度

14 项致命、6 项工具可自动检查、21 项工具完全查不出。勾选状态只存在你的浏览器里，勾完可以导出成 Markdown 报告。

清单最容易变成摆设：几十个勾选框全勾完、产出一份漂亮报告、然后什么都没查出来。所以这里把「工具查不出来的项」单独标出来。

粘贴源码，检查 mint 权限 / 黑名单 / 税率可改 / 蜜罐条件等危险写法

每条命中都给源码证据（文件 + 行号 + 代码片段）与「这条规则看不到什么」的说明；未命中的规则也全部列出来，让你知道这次到底排除了什么。

命中了不等于有恶意，没命中也不等于安全。真正掏空协议的逻辑漏洞在这套扫描里是一条都看不见的。