SuperAPI AI 工具集

evm-audit-assembly

安全与审计

查看项目

更新于 10-16 06:26

技能介绍

用途

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 等底层操作码;涉及变形合约或构造时无代码等模式;以及汇编层面的数学运算。

限制

资料未提供该技能的具体安装命令、收费方式、支持平台、执行步骤或效果说明,这些信息暂未提供。