用途
EVM Audit — Assembly & Opcode Vulnerabilities 是一个面向智能合约安全审计的技能,用于在审计使用内联汇编(inline assembly)、Yul、CREATE/CREATE2 或底层 EVM 操作码的合约时提供针对性的检查支持。
主要能力
根据资料,该技能覆盖以下主题:
- 内联汇编(inline assembly)相关漏洞
- CREATE/CREATE2 相关漏洞
- EXTCODESIZE 相关漏洞
- 底层操作码(low-level opcode)漏洞
- 变形合约(metamorphic contracts)
- 构造时无代码(constructor-time code absence)
- 汇编数学(assembly math)
使用方式
资料说明:在审计使用内联汇编、Yul、CREATE/CREATE2 或底层 EVM 操作码的合约时加载该技能。
该技能包含参考文件:
references/checklist.md— 完整的汇编/操作码检查清单
适用场景
适用于需要审计以下情形的智能合约安全审查工作:合约代码中包含内联汇编或 Yul;使用 CREATE 或 CREATE2 部署合约;依赖 EXTCODESIZE 等底层操作码;涉及变形合约或构造时无代码等模式;以及汇编层面的数学运算。
限制
资料未提供该技能的具体安装命令、收费方式、支持平台、执行步骤或效果说明,这些信息暂未提供。