Hexens 推出的 Glider：面向大规模智能合约安全的代码查询引擎

hexens 发布于 2026-07-25 阅读 23

Glider 是 Hexens 公司开发的智能合约代码查询引擎，将已验证的 EVM 合约转化为可查询的图结构数据。用户使用 Python 编写查询，即可在数分钟内扫描整个区块链上的数百万个合约，寻找漏洞模式。该工具支持变体分析，可一次性发现跨协议的复制粘贴型漏洞，与传统工具如 Slither 和 Semgrep 相比，Glider 能在链级别扩展，将数月的全链审查压缩至几分钟，查询代码量也减少约 90%。Glider 提供免费的研究层（IDE 和查询数据库）以及商业 API（Token Risks API、Security API、Data API），已集成 32+ EVM 链，被 CoinStats、GetBlock、Circle 等平台使用。文章还展示了社区研究者的真实发现案例，并讨论了通过漏洞赏金获利的方法。

目录

Glider 是一个智能合约代码查询引擎，由区块链安全公司 Hexens 构建。它将所有已验证的 EVM 合约转换为可查询的、基于图结构的数据。研究人员使用简单的 Python 查询，就能在几分钟内扫描整个区块链上的漏洞模式，而无需逐个审计合约。

一分钟了解 Glider

  • 它是什么： 一个智能合约代码查询引擎。你编写一个简短的查询，它就能扫描数百万个已部署合约的源代码，并返回所有匹配结果。
  • 谁构建了它： Hexens，一家 Web3 安全公司。Glider 通过 Hexens 的开源安全平台 Remedy 向研究社区开放。
  • 核心理念（规模化变体分析）： 一个漏洞很少是独一无二的。相同的缺陷模式通常会被复制粘贴到数十个协议中。Glider 允许你一次性描述该模式，并找到所有共享该模式的合约。
  • 为何与众不同： 现有的工具（如 Slither 和 Semgrep）一次只能分析一个代码库，无法扩展到整个链。使用传统工具搜索整个区块链需要数月时间。Glider 在几分钟内完成，且代码量大约只有十分之一。
  • 覆盖范围： 32+ 条 EVM 链，100+ 个数据标签，这些链上的所有已验证（源码公开）合约。
  • 两个层面： 一个免费的研究工具（Glider IDE 加 查询数据库）面向漏洞猎人，以及一个产品化的商业层面（Glider API）供钱包、交易所和合规平台使用。

Glider 旨在解决的问题

传统的智能合约安全是一次审计一个合约。审计员审查单个代码库，发现一个漏洞，项目修复它，而那个知识就消亡了。与此同时，同一个漏洞或它的近亲，却存在于其他四十个复制了类似代码的协议中，尚未修复。

这正是变体分析所要填补的差距：获取已知的攻击向量，并系统地找到它存在的所有其他地方。

一个具体例子说明了为什么这很重要：当 Trust Security 发布了一个影响单个 EIP 的新型拒绝服务漏洞时，同样的缺陷原来适用于超过三十个项目。通过跨多个项目而非单一项目披露该漏洞，研究人员从一个根本原因发现中从 15 个协议赚取了 50,000 美元。这就是手动进行的变体分析的回报。Glider 就是以程序化和覆盖全链的方式实现这一过程。

一个根本原因漏洞在数十个共享相同缺陷模式的其他合约中被发现，所有这些都通过一个 Glider 查询定位 问题是，直到最近，大规模的变体分析几乎是不可能的。Slither 和 Semgrep 等工具对于单个项目非常强大，但它们从未被设计为在整个区块链上运行。使用现有产品扫描整个链所需的时间以月为单位计算。这就是 Glider 所消除的限制。

Glider 到底是什么（机制）

Glider 是一个智能合约代码查询引擎：同样的查询数据库概念，应用于已部署的代码。

底层的工作流程如下：

  1. 它摄取已验证的合约。 Glider 在其集成的 EVM 链上处理源码可用（已验证）的合约，而不是原始字节码。在源码层面工作使其结果精确且人类可读。
  2. 它将代码转换为基于图结构的工件。 每个合约被解析为结构化的中间表示（Glider 构建在 SlithIR 之上），将控制流、数据流、函数和单个指令暴露为可查询的对象。
  3. 你使用 Python 进行查询。 有意地，Glider 不 发明新的查询语言。查询使用纯 Python 语法编写。这缩短了学习曲线（大多数研究人员大约在一小时内掌握基础），并让框架能够与外部工具集成。
  4. 它以区块链规模运行。 查询不是指向单个仓库，而是针对整个链运行。Glider 扫描数十万份合约，并返回所有匹配结果，通常在几分钟内完成。

由于这种设计，Glider 支持声明式逻辑（描述你想要的模式）和命令式逻辑（编写任意分析），并处理污点分析等高级技术，同时保持可读性。在其他工具中需要约 100 行的查询，在 Glider 中通常只需约 10 行。

一个查询长什么样

这是一个最小化的真实例子（改编自 Glider 文档），用于查找链上所有调用 selfdestruct 的合约：

from glider import *

def query():
    # 遍历链上的所有指令
    # 并找到那些调用 selfdestruct() 的指令
    instructions = Instructions().with_callee_name('selfdestruct').exec(100)
    return instructions

Glider 返回匹配的合约地址、合约名称、精确的函数和精确的指令，并在源代码中高亮显示。同样的框架可以扩展到更复杂的场景：跨函数流、特定的访问控制模式、费用逻辑、重入形状等等。

一个简短的 Glider 查询，扫描每个已部署的链上合约，并仅高亮显示匹配的合约，只需几分钟

Glider 技术栈

Glider 不是一个单一的界面；它是一个分层系统。以下是整个体系，从免费研究工具到商业 API。

Glider 技术栈：一个免费的研究层（IDE、Skills、查询数据库、Watcher）位于商业 Glider API 之上，包含 Token 风险、安全性和数据

1. Glider IDE：研究工作台（免费）

Glider IDE 是一个基于浏览器的、类似 REPL 的环境，用于编写和运行查询。它使用 Monaco 编辑器（与 VS Code 相同的引擎）。你可以从下拉菜单选择一条链，在左侧编写查询，运行它，并在右侧查看结果。

值得注意的特性：

  • 输出类型： Contract、Function、Instruction 和 Print，每种都附带源代码、地址和扫描器链接（例如 Etherscan）。
  • 近期链： 过去 37 天内活跃合约的动态数据库，以便研究人员可以寻找新的部署，而不仅仅是历史代码。
  • 共享： 任何查询都可以生成可共享的链接，从而使发现结果和技术在社区中传播。
  • 内置资源： 一个 RVSS 计算器（为 Web3 改编的 CVSS 风格评分工具）、Vulnerapedia、漏洞赏金指南和文档，全部集中在一个地方。

IDE 被定位为 Hexens 对安全研究社区的贡献：一个公共产品，而非收费壁垒。

2. Glider Skills：用纯英语提示编写查询

编写 Glider 查询仍然意味着编写少量 Python。为了消除这一障碍，Hexens 发布了 Glider Skills，一个开放的 Claude/Codex Skill（AI 助手按需加载的一组打包指令），它能够从纯英语提示生成可用的 Glider 查询，无需任何先前经验。你用自然语言描述你正在寻找的代码模式，该技能就会生成相应的 Glider 查询供你运行。例如，如果你在一个协议中发现了一个漏洞，并且想知道哪些其他合约共享该漏洞，你可以用纯英语描述该缺陷，并得到一个在整个链上搜索它的查询，而无需自己接触查询 API。

由于它是一个标准的 Claude Skill，它在任何支持 Skills 的地方（Claude.ai、Claude Code 和 API）都能工作，也可以在 Codex 中使用。它在 github.com/Hexens/glider-skills 上公开可用。对于不熟悉 Glider API 的研究人员，Glider Skills 将编写查询的时间从数小时缩短到数分钟。

3. Glider 查询数据库：社区拥有的漏洞情报

这是将 Glider 从工具转变为协议的部分。Glider 查询数据库 是一个开放的、精选的查询库，涵盖安全漏洞、合规性检查和数据标签。

逻辑简单且具有复利效应：一旦有人将一个漏洞定义为查询，该查询将永久存在于数据库中，并从那时起保护所有人。分散的、部落式的安全知识变成了共享的、可重用的、可查询的资产。你编写一次模式；它永久地保护每一条 EVM 链。

4. Glider Watcher：查询的持续监控

Glider Watcher 允许研究人员安排定期运行他们的查询，并且仅在链上出现新的匹配结果时才收到通知。无需手动重新运行搜索，你设置模式并让它为你监视链。（这种持续监控能力是通向 Glider Monitor 的概念桥梁，在专门的单独文章中介绍。）

5. Glider API：产品化的商业层

IDE 服务于研究人员，而 Glider API 将 Glider 引擎打包，供需要自动化、程序化风险检测的平台使用。Hexens 应客户需求，在两周内交付了 MVP。

在 AWS Marketplace 上，Glider 目前作为三个 API 提供：

  • Token Risk(s) API： 一个实时链上代币扫描器，可检测 ERC-20 合约中的 20 多种关键威胁向量，并为每个代币分配 0-100 的风险评分，附带人类可读的解释。完整的合约扫描在 15 秒内完成。检测到的风险包括隐藏费用、黑名单函数、可阻止的转账、中心化/隐藏铸币、ETH 余额清扫、过度提款、转账中的外部调用、可暂停的代理、selfdestruct、转账时间限制、未授权的批准以及可升级的白名单。它可以严格的 SAST 模式或混合（AI 加 SAST）模式运行，以获得最大精度。

Glider 的 Token 风险 API 将一个 ERC-20 代币从其自身代码行为评为高风险——隐藏铸币、可阻止的转账、转账中的外部调用、selfdestruct

  • 安全 API： 为订阅的协议提供 24/7 持续扫描。当新的零日漏洞出现或添加新的检测器时，Glider 会立即重新扫描受影响的代码，并通过 webhook、Slack、Telegram 或电子邮件推送警报。相关的 1-Day 保护 层级允许经过验证的团队通过安全门户上传源代码，并在 24 小时内收到警报，当新的利用与他们的合约匹配时，通常是在攻击者找到之前。
  • 数据 API： 结构化地访问受支持的 EVM 链上的 100+ 个语义标签（ERC 标准检测、代理检测、DeFi 原语、代币经济学标志、分叉追踪等）。

Glider 对比其他工具

Glider 与 Slither、Semgrep 以及 TokenSniffer、GoPlus、QuickIntel 等代币扫描器属于同一讨论范畴，但它解决的是不同形状的问题。

  • 对比 Slither / Semgrep： 这些是优秀的单代码库静态分析器。Glider 建立在相同的谱系之上（它使用 SlithIR），但增加了它们所缺乏的：区块链规模的执行和编写检查的更低门槛。数月的全链手动审查缩减为几分钟；约 100 行的检测器逻辑缩减为约 10 行。

Glider 对比 Slither 和 Semgrep：全链扫描从数月降至数分钟，检测器从 100 行降至 10 行

  • 对比代币扫描器（TokenSniffer / GoPlus / QuickIntel）： 大多数代币扫描器匹配表面级别的模式。Glider 的 Token 风险 API 评估实际的合约行为，这就是它能捕获其他工具遗漏的风险的原因。在 Hexens 自己发布的基准测试中，针对 Base 和 BNB 上的 27 个代币合约（包括现实世界的骗局），差距非常明显：Glider 标记了 100% 的关键威胁，而竞争工具遗漏了相同风险的 40% 到 75%，经常返回一个干净的“OK”。 在其他扫描器确实做出反应的地方，它们通常产生一个模糊的“可疑函数”标志、表面级别的元数据（“所有权未放弃”）或彻底的误报。相比之下，Glider 返回了具体的行为标签：非标准函数中的余额操纵、转账中的外部调用、可阻止的转账、LayerZero 接收/发送、转账时间限制。这些正是高级利用中使用到的确切机制，而 Glider 在每个合约 15 秒内标记了它们。完整基准测试： https://hexens.io/blog/Glider-Token-Risk-Scanning-for-Traders

诚实的框架：Glider 并不能替代手动审计。它扩展了安全工作中应该自动化的部分（在任何地方找到已知模式），以便人类研究人员可以将时间花在新颖的、需要高判断力的漏洞上。

数据一览

变体分析的论点用数字比用理论更容易感受。

  • 2024 年推出了 74,000+ 个恶意代币，当年因诈骗损失约 99 亿美元（2025 Chainalysis 加密货币犯罪报告）。这些诈骗中 94% 由代币部署者直接策划。在与合约交互之前不检查合约的成本，从统计上看，是一个何时发生而非是否会发生的问题。
  • 基础比率很残酷：大约 每 3 个新代币发行中就有 1 个是骗局（35-40%），对于低市值/模因代币，这一比例攀升至 80-95%，对于未经审计的预售代币则达到 90% 以上。审计过的前 100 名代币低于 5%。
  • 根据 Hexens 自己的分析，过去两年中 86% 的重大智能合约攻击本可以在发生前被 Glider 标记，因为潜在模式已经存在于其他地方并且是可发现的。
  • 在 Hexens 发布的基准测试中，Glider 检测到的风险比次优解决方案多约 2.5 倍，真阳性率为 99.3%。
  • 超过 2 亿美元的资产通过 Glider 得到保护，并且 超过 100 万美元 已支付给安全研究人员的与发现相关的漏洞赏金。
  • 32+ 条集成的 EVM 链和 100+ 个数据标签，Glider 的标签已集成到 Etherscan 等平台中。

谁在使用 Glider

Glider 已经嵌入到实际产品和平台中：

  • CoinStats 集成了 Token 风险 API（“Glider Token Risk”），为交易者提供跨 30+ EVM 链的交易前风险检查，在购买决策时刻展示安全数据，CoinStats Degen 计划用户在 iOS、Android 和 Web 上可用。
  • GetBlock 基于 Token 风险 API（其首次发布）构建了其 钱包审计栈，并通过 API 和用户界面提供由 Hexens 提供支持、Glider 驱动的风险审计。GetBlock 将其作为风险 API 服务公开，与 GetBlock 自己的 Rug Pull 检查器并存并互补。
  • Circle 在其 Alliance 合作伙伴目录中列出了 Hexens/Glider，其中 Glider 被定位为已部署合约行为的安全搜索和风险层。
  • Etherscan 和其他区块浏览器可以将 Glider 的风险标签作为徽章组件嵌入，直接警告用户。
  • 安全公司、钱包、分析平台和合规提供商 使用 Glider 大规模地对智能合约进行标记、分类和监控。

主线：任何需要比手动审查更快地理解链上风险的平台都可以集成 Glider。

通过 Glider 赚钱：查询数据库与漏洞赏金

Glider 开放的查询数据库部分通过一场安全查询竞赛发展壮大，该竞赛为研究人员贡献新的漏洞查询支付报酬。该竞赛的奖池由以太坊基金会通过其生态系统支持计划提供支持，详见 EF 自己的 2025 年第二季度分配更新。https://blog.ethereum.org/2025/07/23/allocation-q2-25

持久存在的是 Glider 构建的赚钱途径：用它发现真正的漏洞，然后通过漏洞赏金获得报酬。

工作流程：

  1. 构思一个漏洞场景。
  2. 编写一个 Glider 查询，使其能够跨链检测该漏洞。
  3. 确认匹配结果并编写概念验证。
  4. 向漏洞赏金计划（通过 Remedy、Immunefi 或直接与受影响的项目）报告你的发现，以获取奖励。

为什么这对研究人员特别友好：

  • 发现属于你。 你使用 Glider 发现的漏洞归你所有；Hexens 不收取你的赏金佣金。
  • 贡献一次，保护每条链。 添加到开放查询数据库的查询将作为可重用的检测器，无限期地在每条 EVM 链上工作。
  • 存在真实的赏金池。 Remedy 为 Scroll、Polygon、PancakeSwap 和 Tokemak 等名称提供范围明确的漏洞赏金计划，Hexens 运营着该领域一些最大的安全竞赛；其最近的 CTF 吸引了 2,200+ 名研究人员。

社区怎么说

独立研究人员经常使用 Glider 发现真实的、高严重性的漏洞，并公开致谢。以下是他们的一些文章示例（每个都链接到原文）：

使用 Glider 进行的发现

评测和报道

  • 独立安全教育者 Johnny Time 发布了一个完整的 Glider 演练，其核心理念与本文相同：在一个合约中发现漏洞，然后在数十个其他合约中再次发现它，并向所有这些合约披露。
  • Glider 被列入 Alchemy 的 Web3 开发者工具目录，作为一个用于跨 EVM 链进行变体和数据分析的代码查询引擎。

Glider Monitor

Glider Monitor 是 Hexens 针对已部署协议的持续监控层。当链上任何地方出现新的利用时，它会将该漏洞转化为一个查询，并检查相同的缺陷是否存在于你的代码中，同时它会映射你的依赖图，以便你也能看到你依赖的合约所带来的继承风险。它接手一次性审计结束的地方，将安全视为一个持续的过程，而不是部署时的一个快照。

常见问题解答

什么是 Glider？ Glider 是一个智能合约代码查询引擎，由安全公司 Hexens 构建。它将已验证的 EVM 合约转换为可查询的、基于图结构的数据，并允许研究人员编写 Python 查询，在几分钟内找到整个区块链上的漏洞模式。

谁创建了 Glider？ Hexens，一家 Web3 网络安全公司。Glider 通过 Hexens 的开放安全平台 Remedy 向研究社区开放，同时也以 Glider API 的形式商业提供（包括在 AWS Marketplace 上）。

Glider 是免费的吗？ 研究层，即 Glider IDE 和查询数据库，是免费的，并定位为安全研究人员的公共产品。Glider API 是面向平台的商业化、产品化层，可按需提供。

什么是 Glider 查询？ Glider 查询是一个简短的 Python 语法脚本，描述了你想要寻找的代码模式。查询是可重用的，可以共享，并且可以存储在开放的查询数据库中。

使用 Glider 需要会编程吗？ 不一定。Glider 查询是用 Python 编写的，但 Hexens 也发布了 Glider Skills，一个开放的 Claude/Codex Skill，可以将你对要寻找的模式的纯英语描述转化为一个可直接运行的 Glider 查询。你可以从自然语言提示开始查找链上模式，并在学习过程中编辑生成的查询。

Glider 支持哪些区块链？ 32+ 条兼容 EVM 的链，包括 Ethereum、BNB Chain、Base、Arbitrum、Optimism、Polygon、Avalanche、Blast、Linea、Mantle、zkSync/Polygon zkEVM 等等，列表仍在增长。

Glider 与 Slither 或 Semgrep 有何不同？ Slither 和 Semgrep 一次分析一个代码库。Glider 建立在相同的基础之上（它使用 SlithIR），但在整个链上运行，在几分钟而不是数月内返回结果，并且允许你以大约十分之一的代码量表达一个检查。

什么是 Token 风险 API？ 一个实时扫描器，可检测 ERC-20 代币合约中的 20 多种关键风险向量（隐藏费用、隐藏铸币、黑名单函数、蜜罐行为等），分配 0-100 的风险评分，并在 15 秒内返回结果。它被钱包、交易所和交易平台使用，例如 CoinStats 和 GetBlock。

我能通过 Glider 赚钱吗？ 是的，通过漏洞赏金。你可以使用 Glider 查询来识别已部署合约中的漏洞，然后向漏洞赏金计划（通过 Remedy、Immunefi 或直接与受影响的项目）报告你的发现以获得奖励。你做出的发现归你所有。

Glider 会被攻击者滥用吗？ Glider 最敏感的功能（例如主网查询）是有访问权限控制的，这正是因为全链漏洞发现非常强大。它被构建和运营为一个防御性的白帽安全工具。

什么是 Glider Monitor？ Hexens 针对已部署协议的实时监控层，它持续检查正在发生的利用和依赖风险与你的代码，接手一次性审计结束的地方。

想要试试吗？Glider IDE 位于 glide.r.xyz，文档和查询数据库位于 r.xyz，Glider 的产品页面和 API 基准测试位于 hexens.io。

  • 原文链接： hexens.io/blog/glider-he...
  • 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～
微信扫码分享

相关文章

0 条评论

登录后发表评论