符号执行及Z3求解器

• 符号执行
• 动态符号执行
• SMT Z3求解器

EVM基础知识

• Bytecode和Runtime Bytecode
• bytecode与opcode

mythril检测智能合约漏洞

• mythril符号执行检测智能合约漏洞的过程
• 以太坊合约字节码构建控制流图
• 符号执行工具虚拟机
• 代码目录及主要模块
• mythril漏洞分析模块
• 整数溢出漏洞
• 自毁漏洞
• 任意写漏洞
• 多次发送漏洞

本次组会内容下载链接