SuperAPI AI 工具集

solidity-security

安全与审计

查看项目

更新于 10-16 00:30

技能介绍

用途:该技能面向 Solidity 智能合约的安全开发与审计,帮助识别并防范常见漏洞,建立安全编码模式,并为专业审计做准备。

主要能力:覆盖重入攻击(推荐 Checks-Effects-Interactions 模式或 OpenZeppelin ReentrancyGuard)、整数溢出与下溢(Solidity 0.8+ 内置检查,旧版本用 SafeMath)、访问控制(Ownable 或自定义角色修饰符)、抢跑缓解(commit-reveal)、输入校验、紧急停止(Pausable)、Pull over Push 支付模式,以及 Gas 优化(uint256、存储打包、calldata、事件替代存储)。同时提供漏洞检查清单、Hardhat 安全测试示例、审计文档规范,以及 Slither、Mythril、Echidna、Manticore、Securify 等分析工具说明。

使用方式:在编写或审计合约时按主题查阅对应模式与代码示例,套用安全模板与检查清单,并配合静态分析与模糊测试工具验证。

适用场景:编写安全合约、审计既有合约、实现安全 DeFi 协议、准备专业审计、理解常见攻击向量。

限制:资料未提供具体安装命令、收费方式、平台支持范围或效果保证;示例代码需结合具体 Solidity 版本与依赖自行验证。