AVL Code
全部案例
#013 · 供应链核验

案例研究 · 供应链核验

验证 Grok Build CLI 上传用户代码仓库事件

你是要核验闭源 AI 编程工具数据边界的安全研究者：指控来自第三方研究者的抓包，你手里只有一个 42.8MB 的离线安装包和样本只读的约束。照本文做完，你会拿到 8 项指控的逐条对照（6 项吻合、2 项如实标注边界）、一篇可归档的验证报告，以及一条「工作区 → git bundle → GCS」的污点传播路径。

对象：grok-build 0.2.93 离线安装包 · 44,869,412 字节（~42.8MB，zstd）· 约束：纯静态 · 样本沙箱只读 · 双 Agent 并行· 模型：澜砥 N2.5-Flash（AVL-Zero 提供）· 交付物：验证对照 + 分析报告 md + 污点分析 md· 耗时：约 20 分钟

查看会话内容 下载会话存档 可导入 AVL Code 工作区回放完整对话 查看案例报告

概览

  1. 01

    取证开局 — 双路并起，42.8MB 样本指纹到手

    你把 cereblab 的 gist 链接和"样本目录下的 pkg"一句交给 AVL Code；gist 抓取超时、目录不存在两连卡壳后，它靠版本号对上同名安装包，静态分析线开工。

  2. 02

    逐条对照 — 8 项指控 6 项吻合、2 项如实标注

    解压、熵值计算、字符串与 IOC 抽取、ELF 解析的产出对上指控清单：存储桶、端点、开关、凭据一一在列；静态证明"能做"，"做了"如实划给动态抓包证据。

  3. 03

    建模交付 — 验证报告 + 污点传播路径两份 md 落盘

    你要 md 报告固化证据，再补一份污点传播分析，拿到「工作区 → git bundle → GCS」核心路径与 --deny 权限错位结论，两份 md 可直接归档。

向 AVL Code 发布任务

分析验证 https://gist.github.com/cereblab/dc9a40bc26120f4540e4e09b75ffb547 上的传言 在样本目录下的pkg中是否存在。

前提：一个闭源 AI 编程工具的离线安装包（样本只记录 Hash，存放在独立只读目录），加上一条指向公开传言的链接（gist / 复现仓库 / 抓包记录）

复现材料见文末 亲自检测 ↓

取证开局

核验的开局不是分析样本，而是把"传言"变成"可检验的实体"：

你输入 → AVL Code 
分析验证 https://gist.github.com/cereblab/dc9a40bc26120f4540e4e09b75ffb547 上的传言 在样本目录下的pkg中是否存在。
AVL Code 执行 → 你会看到
抓取 cereblab gist → 超时；样本目录不存在 → 两连卡壳
→ 按版本号对上同名离线安装包 grok-build 0.2.93（44,869,412 字节，zstd）
→ 静态分析线开工：解压、熵值、字符串与 IOC、ELF 解析

逐条对照

解压、熵值、字符串、ELF 的产出对上指控清单，静态证据与公开指控逐条过：

你输入 → AVL Code 
（同一条指令持续驱动，未追加新输入）
AVL Code 执行 → 你会看到
解压校验：熵 7.999 → 6.24，解压正确
→ 字符串与 IOC 抽取命中上传链路全部零件：存储桶 grok-code-session-traces · 上传端点 POST /v1/storage · GROK_TRACE_UPLOAD_* 开关 · devstorage.full_control 凭据权限
→ git bundle 打包能力在客户端就位
→ 对照结论：8 项指控 6 项吻合；"做了"如实划给 cereblab 动态抓包证据

建模交付

证据要可归档、路径要可复用，两份 md 把结论固化：

你输入 → AVL Code 
写一篇分析报告 用 md 格式

补一份基于污点传播的分析 保存为 md
AVL Code 执行 → 你会看到
验证对照报告 md：8 项指控逐条对照落表
→ 污点传播分析 md：工作区 → git bundle → GCS 核心路径
→ 权限错位结论：读取拒绝（--deny）拦不住文件被打进 bundle
→ 两份 md 落盘，可直接归档

亲自检测

照下面四步，你可以对任何一条"闭源工具偷偷上传"的传言做同样的核验：先找到可检验的实体，再静态证明"能做"，最后把"做了"交给动态证据。

查看会话内容 下载会话存档 可导入 AVL Code 工作区回放完整对话 查看案例报告 
写一篇分析报告 用 md 格式
补一份基于污点传播的分析 保存为 md
  • 第 1 步：备好两条线索——传言链接与离线安装包（样本只记录 Hash，存放在独立只读目录）：传言 <gist-url> · 样本 <pkg-path>。
  • 第 2 步：把两条线索一起交给 AVL Code（验证指令照第一章原文）；遇到 gist 抓取超时 / 目录不存在，让它先看目录结构、再换路获取证据。
  • 第 3 步：要求产出可归档的验证报告——上方第一条指令。
  • 第 4 步：追加污点传播分析，固定传播路径与权限错位结论——上方第二条指令。
  • 局限如实说明：会话 HTML 导出未含逐条工具调用轨迹，duo 右栏的动作序列整理自会话消息与产出报告，颗粒度止于消息级；熵值 7.999→6.24、双 Agent 分工、约 20 分钟、样本沙箱只读等取自案例库既有记录，未能在会话内二次复核；cereblab 的动态抓包数据（5.10 GiB / 192 KB / 2026-07-13 服务端修复）为外部证据，本任务未自行复现抓包，服务端修复后的行为也无法从离线样本验证。

下一个问题： 核验完"能做"，下一个任务是检测"正在做"：在企业出口流量上为 gs:// 上传与 /v1/storage 端点布一条检测规则，或用同一套静态流程核验下一个闭源 AI CLI。