AegisGraph — 工程平台

面向安全消息应用的图驱动自动化漏洞发现。 577 Industries 为 DARPA SBIR Direct-to-Phase-II 主题 HR0011SB20254-12（ASEMA）的工程实现。

在寻找面向评估者的工件？ 经过净化的公开可行性发布位于 577Industries/asema-feasibility-artifacts，标签为 v1.0.0-asema-dp2-feasibility。如果你要验证 ASEMA 提案中的声明，请从那里开始。

---

本仓库包含的内容

工程平台——AegisGraph 背后的实际实现：

子系统	路径	功能
PolyDiff Extended	aegisgraph/polydiff/	跨 6 个解析器家族（url、image、opengraph、deeplink、qr、proto）的多格式差分解析，带规范化事实向量
HarnessGen	aegisgraph/harnessgen/	图驱动的多语言模糊测试 harness 生成（JVM 用 Jazzer，原生用 libFuzzer+HWASAN，Rust 用 cargo-fuzz）
InvariantCheck	aegisgraph/invariants/	15 个 SMA 专属安全不变量，带可公开审计的 ground-truth 夹具；MASTG/SSDF 映射
CrossSMA	aegisgraph/crosssma/	跨应用传播矩阵（4 个 SMA 目标 × 6 种模式），带结构规范化
DynamicProbe （选项期）	aegisgraph/dynamicprobe/	Frida 插桩的 AOSP+HWASAN 模拟器，带结构强制执行的签名授权门
Coordinated Disclosure	aegisgraph/disclosure/	哈希链披露账本 + 7 厂商路由 + 第 7/14/30/60/90 天禁运计时器 + CERT/CC 回退
ReproChain	reprochain/	针对 CVE-2023-4863（libwebp）的披露前模拟；内置漏洞+修复提交 + ASAN harness
Extraction	extraction/	对固定版本公开 SMA（Signal Android、Element X Android）的静态提取；8 个 CodeQL 查询 + 4 条 Semgrep 规则 + MobSF 集成
SMABench	smabench/	三环基准设计：合成（环 1）、公开源静态 + 可达性（环 2）、授权动态（环 3）
Validator + safety	validator/, aegisgraph/safety.py	Schema 校验、净化检查（规则 1–9）、通过故意破坏测试实现可证伪性
Schema	schema/	6 个 JSON schema + Schema v2 增量扩展（discovery_run、crash、disagreement、invariant_violation、cross_target_candidate、disclosure_event）
Decision log	docs/decision-log/	14 个 ADR，涵盖所有架构决策

---

快速开始

git clone https://github.com/577Industries/aegisgraph
cd aegisgraph
git checkout v1.0.0-tier3-research

# Recommended: use the pinned devcontainer
devcontainer up
make tooling-strict                # verify pinned toolchain
python3 -m pytest -q               # expect 1030 passed, 19 skipped

# Per-engine smoke tests
make reprochain-map                # ReproChain reachability mapping
make polydiff-regression           # PolyDiff differential parser regression (8 historical CVE rediscoveries)
make extract                       # static extraction over pinned SMAs
make smabench                      # SMABench benchmark generation
make validate                      # evidence + CETM validation
make reproduce                     # full reproduction pipeline

安装后 CLI 入口点为 aegisgraph，或在此检出目录中运行 python3 -m aegisgraph.cli。

---

研究立场

• 仅限防御性网络安全研究。 未经书面授权，不得进行实时目标探测、生产账户交互、凭据测试或扫描。
• 公开产物中不含武器化载荷（触发崩溃的字节仅以哈希形式存在；原始堆栈跟踪保留在工程侧）。
• 不重新分发目标原始源码。 我们基于公开源码锚点开展工作（固定提交的 Signal Android 和 Element X Android）。
• 公开产物受控，须经 make export-public-sanitized 及发布前明确的人工批准。
• 可证伪性。 验证器中的故意破坏测试确认：引入禁止模式、目标源码再分发标记或评分向量键不匹配均会被捕获并拒绝——该纪律是可测试的，而不仅仅是口头声明。

---

测试

• v1.0 版本（v1.0.0-tier3-research 标签，提交 d91c1df6）有 1030 个通过的测试
• 19 个跳过（受任务 T-M4.1 的自托管运行器配置限制；devcontainer 可将跳过数降至 0）
• CI：.github/workflows/ci.yml 在推送时运行；reproduce.yml 在自托管运行器配置完成前为 if: false
• Sanitize-check：validator/sanitize_check.py 在任何产物离开本仓库前，对每个公开导出候选强制执行 9 条规则

---

决策日志

docs/decision-log/ 中的 14 份 ADR 记录了每一项架构决策：

ADR	主题
0001	仓库拆分：工程与公开发布边界
0002	私有 ReproChain 处理
0003	ReproChain 目标的 libwebp 选择
0004	PolyDiff 解析器选择（初始 url 系列 + 扩展至 6 个系列）
0005	验证器迁移
0006	披露归属（PI 为指定负责人；法律顾问审查关卡）
0007–0012	引擎架构（HarnessGen、InvariantCheck、CrossSMA、DynamicProbe 脚手架）
0013	Schema v2（引擎输出的增量扩展）
0014	协调披露账本格式（哈希链式 JSONL）
0020	PolyDiff 多系列扩展
0021	验证器导出纪律

---

发布版本 + 标签

• v1.0.0-tier3-research（当前，2026 年 5 月）——完整的 6 引擎集成，1030 个通过的测试，Schema v2，82 项声明的 CETM
• v0.3.0-tier3-research（2026 年 5 月）——v0.3 基线（保留为历史锚点）

对应的公开可行性发布位于 577Industries/asema-feasibility-artifacts：

• v1.0.0-asema-dp2-feasibility（当前）——F15-F22 图表包，82 项声明的 CETM，baseline-tool-delta，polydiff v1.0 schema，完整可追溯性矩阵
• v0.3.0-asema-dp2-feasibility——历史锚点；逐字保留

---

许可证

Apache-2.0。参见 LICENSE。

事实来源

SPEC.md 是工作技术规范。若实现与规范出现分歧，请有意更新规范。