AegisGraph: セキュアメッセージングアプリケーション（SMA）向けのグラフベースのアプリケーション層評価エビデンスプラットフォーム。DARPA ASEMA HR0011SB20254-12 Tier 3 研究。ReproChain CVE-2023-4863 到達可能性 + PolyDiff 差分パーサーファジング + クレーム状態ガバナンス + 再現可能なベンチマークサーフェス。
セキュアメッセージングアプリケーション向けのグラフ駆動型自動脆弱性発見。 577 Industriesによる、DARPA SBIR Direct-to-Phase-IIトピック HR0011SB20254-12（ASEMA）向けのエンジニアリング実装。
-blue){kind=icon}
評価者向けの成果物をお探しですか？ サニタイズ済みの公開フィージビリティリリースは、タグ
v1.0.0-asema-dp2-feasibilityの577Industries/asema-feasibility-artifactsにあります。ASEMA提案書の主張を検証する場合は、まずそちらから始めてください。
エンジニアリングプラットフォーム — AegisGraphの背後にある実際の実装:
| サブシステム | パス | 役割 |
|---|---|---|
| PolyDiff Extended | aegisgraph/polydiff/ | 6つのパーサーファミリー（url、image、opengraph、deeplink、qr、proto）にわたるマルチフォーマット差分解析。正規化されたファクトベクトルを備える |
| HarnessGen | aegisgraph/harnessgen/ | グラフ駆動型のポリグロット・ファズハーネス生成（JVM向けJazzer、ネイティブ向けlibFuzzer+HWASAN、Rust向けcargo-fuzz） |
| InvariantCheck | aegisgraph/invariants/ | 15のSMA固有セキュリティ不変条件と、公開監査可能なグラウンドトゥルースフィクスチャ。MASTG/SSDFマッピング |
| CrossSMA | aegisgraph/crosssma/ | アプリケーション間伝播マトリクス（4つのSMAターゲット × 6パターン）。構造的正規化を伴う |
| DynamicProbe (オプション期間) | aegisgraph/dynamicprobe/ | Frida計装のAOSP+HWASANエミュレータ。構造的に強制される署名付き認可ゲートを備える |
| Coordinated Disclosure | aegisgraph/disclosure/ | ハッシュチェーン化された開示台帳 + 7ベンダールーティング + day-7/14/30/60/90エンバーゴタイマー + CERT/CCフォールバック |
| ReproChain | reprochain/ | CVE-2023-4863（libwebp）に対する開示前シミュレーション。ベンダリングされた脆弱性+修正コミット + ASANハーネス |
| Extraction | extraction/ | 固定された公開SMA（Signal Android、Element X Android）に対する静的抽出。8つのCodeQLクエリ + 4つのSemgrepルール + MobSF統合 |
| SMABench | smabench/ | 三層リングベンチマーク設計: 合成（Ring 1）、公開ソース静的 + 到達可能性（Ring 2）、認可済み動的（Ring 3） |
| Validator + safety | validator/, aegisgraph/safety.py | スキーマ検証、サニタイズチェック（ルール1〜9）、意図的破損テストによる反証可能性 |
| Schema | schema/ | 6つのJSONスキーマ + 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 です。
make export-public-sanitized と公開前の明示的な人による承認を経ます。v1.0.0-tier3-research タグ、コミット d91c1df6）で 1030 件のテストが成功.github/workflows/ci.yml は push 時に実行されます。reproduce.yml はセルフホストランナーがプロビジョニングされるまで if: false です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 | バリデータのエクスポート規律 |
対応する公開フィージビリティリリースは 577Industries/asema-feasibility-artifacts にあります:
Apache-2.0。LICENSE を参照してください。
SPEC.md が実務上の技術仕様です。実装と仕様が乖離した場合は、意図的に仕様を更新してください。