所属分类：综合补充资料 当前为单品课程，可返回上一级继续浏览同方向资料。
← 返回上一级
← 返回所属目录 咨询 / 购买

智能合约安全审计全流程实战

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
课程导入与审计概览
智能合约安全审计的定义 · 重要性 · 审计流程全景图
课程导入审计概览
02
区块链与智能合约基础
以太坊虚拟机（EVM）架构 · Solidity语言核心语法 · 合约部署与调用机制
区块链智能合约基础
03
智能合约安全威胁模型
常见攻击面分类（重入 · 整数溢出 · 访问控制
智能合约安全威胁…常见攻击面分类
04
开发环境与审计工具链
Remix · Hardhat · Foundry
开发环境审计工具链
05
Solidity安全编码规范
最佳实践（检查-效果-交互模式 · 避免tx.origin · 使用SafeMath/OpenZep…
Solidity安全编码规范
06
重入攻击原理与审计
重入攻击的机制 · 单函数重入与跨函数重入 · 真实案例（DAO攻击）
重入攻击原理审计
07
整数溢出与下溢漏洞
整数溢出原理 · Solidity 0.8+内置检查与… · 审计中如何定位溢出点
整数溢出下溢漏洞
08
访问控制与权限漏洞
权限管理不当（Ownable · RBAC） · 函数可见性错误（public/pri…
访问控制权限漏洞
09
拒绝服务（DoS）漏洞
Gas限制导致的DoS · 外部调用失败导致的DoS · 区块Gas上限攻击
DoS拒绝服务
10
前端攻击与预言机安全
前端恶意合约调用 · 预言机数据源信任 · 价格操纵攻击（闪电贷）
前端攻击预言机安全
11
时间戳依赖与随机数漏洞
区块时间戳操纵 · 可预测随机数（blockhash · now）
时间戳依赖随机数漏洞
12
短地址攻击与编码问题
ABI编码漏洞 · 短地址攻击原理 · 事件日志伪造
短地址攻击编码问题
13
代理合约与升级漏洞
代理模式（Transparent · UUPS） · 存储冲突
代理合约升级漏洞
14
DeFi协议安全审计
借贷协议（Compound/Aave… · DEX（Uniswap） · 收益聚合器
DeFi协议安全审计
15
NFT与ERC721/1155安全审计
NFT合约常见漏洞（重入 · 权限 · 元数据）
NFTERC721/1155
16
Gas优化与安全权衡
Gas优化技术（存储 · 循环 · 外部调用）
Gas优化
17
形式化验证与数学证明
形式化验证概念 · 工具（Certora · KEVM）
形式化验证数学证明
18
模糊测试与动态分析
Echidna · Foundry fuzz · Manticore符号执行
模糊测试动态分析
19
审计报告撰写与沟通
报告结构（摘要 · 风险等级 · 详细发现
审计报告撰写沟通
20
审计流程实战（一）
准备阶段：收集合约代码 · 文档 · 依赖
审计流程实战准备阶段
21
审计流程实战（二）
静态分析阶段：使用Slither · Aderyn等工具扫描 · 人工代码审查
审计流程实战Slither
22
审计流程实战（三）
动态验证阶段 · 使用Hardhat/Foundry模… · 验证漏洞可行性
审计流程实战动态验证阶段
23
审计流程实战（四）
综合分析与报告：汇总所有发现 · 分类分级 · 撰写详细报告
审计流程实战综合分析
24
真实案例深度剖析（一）
DAO攻击 · The DAO事件全流程复盘 · 从代码漏洞到攻击交易分析
真实案例深度剖析DAO
25
真实案例深度剖析（二）
Parity Wallet多签漏洞与… · 分析漏洞根因 · 攻击路径
真实案例深度剖析Parity
26
真实案例深度剖析（三）
bZx闪电贷攻击 · Harvest Finance攻击 · DeFi组合风险
真实案例深度剖析bZx
27
常见审计误区与陷阱
过度依赖工具 · 忽略业务逻辑 · 未考虑组合风险
常见审计误区陷阱
28
审计工具链进阶与自动化
自定义Slither插件 · 编写静态分析规则 · CI/CD集成安全审计
审计工具链进阶自动化
29
综合实战项目（一）
给定一个包含多个漏洞的DeFi合约（… · 学员独立完成从环境搭建到漏洞发现的全… · 输出初步报告
综合实战项目DeFi
30
综合实战项目（二）与课程总结
完成完整审计报告 · 进行同行评审 · 讲师点评
综合实战项目课程总结