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

智能合约安全漏洞与审计方法

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
课程导入
学习目标 · 课程结构 · 智能合约安全的重要性与行业现状
课程导入学习目标
02
区块链与智能合约基础
以太坊原理 · 账户模型 · 交易与Gas
区块链智能合约基础
03
Solidity语言安全基础
数据类型 · 函数可见性 · 修饰符
Solidity语言安全基础
04
智能合约运行机制
EVM执行模型 · 存储与内存 · 调用上下文
智能合约运行机制EVM
05
常见漏洞概览
重入 · 整数溢出 · 访问控制
常见漏洞概览重入
06
重入攻击
原理 · 经典DAO攻击案例 · 单函数与跨函数重入
重入攻击原理
07
整数溢出与下溢
Solidity版本差异 · SafeMath与内置检查 · 实际攻击案例（如BatchOverf…
整数溢出下溢
08
访问控制漏洞
tx.origin与msg.send… · 权限管理缺陷 · 构造函数拼写错误
访问控制漏洞tx.origin
09
拒绝服务（DoS）攻击
Gas限制 · 异常回滚 · 自毁
DoS拒绝服务
10
前端运行与交易顺序依赖
Mempool机制 · 抢跑 · 尾随
前端运行交易顺序依赖
11
闪电贷攻击
原理 · 组合漏洞利用 · 典型攻击路径（如bZx
闪电贷攻击原理
12
代理合约与升级漏洞
代理模式 · 存储冲突 · 初始化漏洞
代理合约升级漏洞
13
预言机与随机数安全
链上随机数可预测性 · 预言机操纵 · TWAP防御
预言机随机数安全
14
签名与授权漏洞
ECDSA签名 · 重放攻击 · 签名混淆
签名授权漏洞
15
DeFi协议特有漏洞
借贷 · AMM · 质押
DeFi协议特有漏洞
16
NFT与ERC标准安全
ERC-721/1155实现陷阱 · 转移钩子 · 元数据与代理问题
NFTERC
17
智能合约审计方法论
审计流程 · 范围界定 · 威胁建模
智能合约审计方法…审计流程
18
审计工具链
Slither · Mythril · Oyente
审计工具链Slither
19
形式化验证与符号执行
概念 · 工具（Certora · KEVM）
形式化验证符号执行
20
模糊测试与变异测试
Echidna · Foundry fuzz · 覆盖率引导
模糊测试变异测试
21
审计报告撰写
报告结构 · 漏洞分级（Critical/High… · 复现步骤
审计报告撰写报告结构
22
实战案例一
重入漏洞审计——从代码分析到利用Po…
实战案例一Po
23
实战案例二
整数溢出与访问控制组合漏洞——完整审…
实战案例二整数溢出
24
实战案例三
闪电贷与预言机操纵——DeFi攻击链…
实战案例三DeFi
25
实战案例四
代理合约升级漏洞——存储冲突与初始化…
实战案例四代理合约升级漏洞
26
常见审计误区
过度依赖工具 · 忽略业务逻辑 · 未考虑组合风险
常见审计误区过度依赖工具
27
安全编码规范
Solidity最佳实践 · 设计模式 · 防御性编程
安全编码规范Solidity
28
审计项目管理
团队协作 · 时间管理 · 与开发团队沟通
审计项目管理团队协作
29
综合实战项目
模拟真实审计任务 · 从零开始完成一份完整审计报告
综合实战项目模拟真实审计任务
30
课程总结与进阶路径
知识体系回顾 · 认证建议 · 持续学习资源
课程总结进阶路径