security-smart-contracts - Solidity 与 EVM 智能合约四阶段安全审查
审计 Solidity 与 EVM 智能合约、Web3 协议及链上代码。
标签
更新于: 2026-10-05能力
典型输入
典型输出
该技能可以做什么
- 梳理合约、依赖与角色
- 追踪资产与信任流
- 执行语法与语义扫描
- 运行可用安全分析器
- 用代码证据验证可利用性
- 设计不变量与属性模糊测试
- 去重并报告安全发现
输入
- Solidity 与 EVM 项目源代码
- 项目源码根目录
- 依赖及分叉版本
- 角色与部署配置
- 协议的信任假设
- 工具与不变量参考资料
输出
- 去重后的候选问题列表
- 有证据支持的安全发现
- 已排除候选项的理由
- 不变量与模糊测试属性
- 审查报告
- 仓库外的扫描产物
- 工具安装命令