SuperAPI AI 工具集

token-integration-analyzer

编程与开发

查看项目

更新于 10-16 03:43

技能介绍

用途:该技能依据 Trail of Bits 的代币集成检查清单,对代币实现与代币集成进行安全分析,适用于智能合约安全审计场景,兼顾代币实现方与集成方两种上下文。

主要能力:检查 ERC20/ERC721 合规性;识别 20 余种异常代币模式;评估合约组合结构与所有者权限;执行链上稀缺性分析;评估协议如何处理非标准代币。

使用方式:这是 Trail of Bits 的安全技能,详细用法指南与示例请参阅其原始仓库 https://github.com/trailofbits/skills。资料未提供具体安装与运行命令。

相关技能:audit-context-building、codeql、semgrep、variant-analysis。

背景:该技能关联《Software Design for Flexibility》(Hanson & Sussman, 2021) 第 5 章“求值”,涉及 eval、apply、解释器、环境等概念,次要章节为第 4 章“模式匹配”。其 GF(3) 平衡三元组为 token-integration-analyzer (+) + SDF.Ch5 (−) + [balancer] (○) = 0。

限制:类别为 building-secure-contracts,作者 Trail of Bits,来源 trailofbits/skills,许可 AGPL-3.0,属项目内 gitignored 内容。资料未说明支持链、代币标准版本范围、运行环境要求及分析准确性,暂未提供。