扫描器回答的是「这段代码有什么问题」。而你在上线前真正想问的是另一个问题：攻击者究竟能利用什么？这个工具拿扫描产生的发现，试着把它们拼成一条走得通的路径——并且对拼出的每一条都说清楚：多少是证明，多少是推断，概念验证到底跑没跑过。看着像坏事，它不会因此就说「已确认」。
每一族之所以在这里，是因为扫描器有能证明其前置条件的检测器。手册里的每条链都写明：必须先成立哪些条件，它才会针对你的代码被报出来。
一个能授出权力的函数，忘了检查调用它的人是谁。这是最古老也最常见的一族，因为它不需要任何技巧——只需要有人没写那一行。
在合约把「你拿走了多少」记下来之前，先绕回去再拿一次。这么多年过去它依然有效，因为顺序写反比逻辑写错更难在评审时看出来。
不需要本金的攻击——本金是借来的，并在同一笔交易里还清。它把「攻击者得先有一千万美元」这个假设直接删掉了。
合约要向别的东西询问某样资产值多少钱，而那个答案是可以被挑选的。问题不在合约的算术，在它选择相信谁。
把合约据以定价的那个市场推动一下，或者抢在某个即将成交的人前后下手。代码全对，价格被摆布。
一个签名生效了不止一次、不止一条链，或者不止一件事。签名本身是有效的——正是它有效，才让重放好用。
地址背后的代码，已经不是当初被审计的那一份。报告没有写错，只是它描述的对象已经不在那里了。
从一个普通调用者走到 owner，或者从 owner 走到比 owner 更多。中间往往隔着好几步，每一步单看都不像问题。
每一行都是对的，而它们加起来的规则不对。这一族没有可以匹配的模式，只能靠读懂这份合约究竟想做什么。
什么都没坏。只是激励机制付给攻击者的，比付给你的多。
工具本身（扫描器、控制台、SAFI 工作区）目前仍是英文界面。这些页面用中文把一切讲清楚，方便你进去之前先看明白。
这个工具报出的每条路径都带一个可利用性判定。仅凭阅读你的源码，它能给出的最强判定是「可能」——这是刻意设下的天花板，不是忘了拿掉的限制。
「已确认」的意思是：有人对一份隔离的合约副本执行了概念验证，并且成功了。这条通道不执行任何东西，所以它永远不会产出这个词。
一个把「看起来很糟」写成「已确认」的工具，第一次被人核对时就失去了全部价值。所以宁可让最强的结论停在「可能」。
每一项必需的前置条件，都能在你的代码里指向扫描器真实命中的东西，支撑证据也大都齐全。
它说的是这条路开着，不是说有人已经走过。这两句话之间的差别，就是一份可以拿去开会的报告和一份只会吓唬人的报告之间的差别。
必需的前置条件成立，但整条链主要靠结构推断撑着，而不是靠检测器的直接命中。
它被明确标成留给人工评审的线索。把线索包装成结论，是这个行业最常见的失信方式。
扫描在你的浏览器里跑，源码不会离开它。只有扫描产生的发现——检测器编号、函数表、访问控制标记——会被发送出去用于拼装攻击链，你可以在网络面板里看着这件事发生。
拼装攻击链属于 AI Agents 套餐，每次消耗 5 个额度。已部署的地址必须在区块浏览器上验证过源码：未验证的字节码里没有函数可读，也就没有东西可以拿来拼。
页面上有一个必须勾选的框：你拥有这份合约、你受托评审它，或者它本来就是你自己的部署。
这里不碰链上：源码从区块浏览器读取，在这个浏览器里分析，从头到尾不会构造也不会发送任何交易。这个框本身证明不了什么，它记录的是意图——而一个随便替谁去测陌生人合约的工具，是另一种产品。
