返回目录 / 安全
Solidity 安全审查：沿攻击路径核验资产影响
结合代码、编译器与部署上下文检查常见合约漏洞并输出可复现证据。
Skills
确认 Solidity compiler/pragmas、依赖版本、代理/升级模型、权限初始化和受保护资产。逐函数跟踪外部输入到状态写入/转账的路径，检查重入、整数与精度、签名重放、授权边界、低级调用返回值和 oracle 假设。运行项目测试与静态分析，新增能复现缺陷的本地测试；审查升级存储布局及初始化只执行一次的约束。报告未覆盖链上运行时/经济攻击的范围；不可因静态工具通过就宣称已审计或安全，也不执行部署和交易。
权限边界
前置条件
- 审查 Solidity 合约的访问控制、重入、算术、外部调用和升级风险。
- 需目标编译器版本、依赖锁定、部署假设和威胁/资产模型。
权限边界
- 可读取并修改合约/测试，运行静态分析和本地测试。
- 发现问题不等于完成审计；不得部署、升级或执行交易。
限制
按可达攻击路径核验资产影响，检查角色初始化、外部调用、重入保护和升级存储布局；结果需人工独立审计。
固定上游来源
- 仓库
- wshobson/agents
- 文件路径
- plugins/blockchain-web3/skills/solidity-security/SKILL.md
- 固定提交
46891e7e60da0e52baf1050b7b6391b64e84c6d9- 来源检查
- 2026-10-14 · 已按固定上游来源核对
仓库指标
以下数字属于上游仓库整体，不代表单个 Skill 或指南的点赞/热度。
- Stars
- 未取得
- Forks
- 未取得
- 观测时间
- 未取得
尚未取得指标快照。
许可证: MIT
适用工具
Static analysis · Foundry/Hardhat tests · Slither or equivalent analyzer