Solidity 合约安全扫描

Solidity 智能合约安全审计技能，对 .sol 源码做静态扫描，覆盖未受保护提现、重入、不安全代币转账、无限制铸币、selfdestruct、单步转权、tx.origin 鉴权、未检查 low-level call、用户可控 delegatecall、浮动 pragma、区块随机数等 14 类高危模式，并支持 Hardhat/solc 编译校验。输出带风险等级、位置与修复建议的报告，适用于上线前自查、审计前置过滤与教学演示。不能替代专业人工审计。