📜
智能合约白盒审计核心
合约代码是攻击者最先盯上的地方。对照源码逐行审查合约逻辑:访问控制与权限、重入、整数运算、外部调用、事件与状态一致性、可升级性、Gas 与逻辑正确性。umibit AI 先做高覆盖率初筛,资深专家逐条确认可利用性并编写 PoC。
| 访问控制缺失 / 错误修饰符 | AI |
| 重入(ERC-777 回调、fee-on-transfer + 外部调用) | AI人工 |
| 整数溢出 / 下溢、unchecked 块 | AI |
| 未校验的外部调用返回值、低级 call | AI |
| approve 竞态 / 授权管理 | AI人工 |
| 可升级合约 / 代理:逻辑能否被悄悄替换 | AI人工 |