AegisGraph — منصة هندسية

اكتشاف الثغرات الآلي المدفوع بالرسوم البيانية لتطبيقات المراسلة الآمنة. التنفيذ الهندسي لشركة 577 Industries لموضوع DARPA SBIR Direct-to-Phase-II رقم HR0011SB20254-12 (ASEMA).

AegisGraph 6-engine architecture — the evidence graph plans, six engines hunt, findings flow back as new evidence

هل تبحث عن المخرجات الموجّهة للمُقيّمين؟ يتوفّر الإصدار العام المُنقّى للجدوى على 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/`	توليد حِزَم اختبار التعتيم متعددة اللغات المدفوع بالرسوم البيانية (Jazzer لـ JVM، وlibFuzzer+HWASAN للأنظمة الأصلية، وcargo-fuzz لـ Rust)
InvariantCheck	`aegisgraph/invariants/`	15 ثابتًا أمنيًا خاصًا بـ SMA مع عيّنات حقيقة أرضية قابلة للتدقيق العام؛ وربط MASTG/SSDF
CrossSMA	`aegisgraph/crosssma/`	مصفوفة الانتشار عبر التطبيقات (4 أهداف SMA × 6 أنماط) مع تقييس بنيوي
DynamicProbe (فترة الخيار)	`aegisgraph/dynamicprobe/`	محاكي AOSP+HWASAN مُجهّز بـ Frida مع بوابة تفويض موقّعة مفروضة بنيويًا
الإفصاح المنسّق	`aegisgraph/disclosure/`	سجل إفصاح متسلسل بالتجزئة + توجيه إلى 7 بائعين + مؤقّت حظر في الأيام 7/14/30/60/90 + آلية احتياطية عبر CERT/CC
ReproChain	`reprochain/`	محاكاة ما قبل الإفصاح مقابل CVE-2023-4863 (libwebp)؛ التزامات الثغرة والإصلاح المُضمّنة + حزمة اختبار ASAN
الاستخلاص	`extraction/`	استخلاص ساكن على تطبيقات SMA عامة مثبّتة (Signal Android، Element X Android)؛ 8 استعلامات CodeQL + 4 قواعد Semgrep + تكامل MobSF
SMABench	`smabench/`	تصميم معيار من ثلاث حلقات: اصطناعي (الحلقة 1)، ساكن من مصادر عامة + قابلية الوصول (الحلقة 2)، ديناميكي مُصرّح به (الحلقة 3)
المُدقّق + السلامة	`validator/`، `aegisgraph/safety.py`	التحقق من المخطط، وفحص التنقية (القواعد 1–9)، وقابلية التكذيب عبر اختبار الإفساد المتعمّد
المخطط	`schema/`	6 مخططات JSON + امتداد إضافي للمخطط v2 (`discovery_run`، `crash`، `disagreement`، `invariant_violation`، `cross_target_candidate`، `disclosure_event`)
سجل القرارات	`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

نقطة الدخول عبر سطر الأوامر هي aegisgraph بعد التثبيت، أو python3 -m aegisgraph.cli من نسخة العمل هذه.

وضعية البحث

أبحاث الأمن السيبراني الدفاعية فقط. لا استهداف مباشر للأنظمة الحية، ولا تفاعل مع حسابات الإنتاج، ولا اختبار ببيانات اعتماد، ولا فحص دون تفويض كتابي.
لا حمولات مسلّحة في المخرجات العامة (البايتات المسببة للانهيار تُحفظ كتجزئات فقط؛ وتظل آثار المكدس الخام في الجانب الهندسي).
لا إعادة توزيع للمصدر الخام للهدف. نعمل انطلاقًا من مراسٍ برمجية عامة (Signal Android وElement X Android مثبّتة على التزام محدّد).
المخرجات العامة مقيّدة عبر make export-public-sanitized وموافقة بشرية صريحة قبل النشر.
قابلية التكذيب. يؤكد اختبار تلف متعمّد في المدقّق أن إدخال نمط محظور، أو علامة إعادة توزيع مصدر الهدف، أو عدم تطابق مفتاح متجه الدرجات يُكتشف ويُرفض — فالانضباط قابل للاختبار، وليس مجرد تصريح.

الاختبار

1030 اختبارًا ناجحًا عند إصدار v1.0 (الوسم v1.0.0-tier3-research، الالتزام d91c1df6)
19 متخطّى (مقيّد بتجهيز مشغّل مستضاف ذاتيًا وفق المهمة T-M4.1؛ ويخفض devcontainer عدد المتخطّى إلى 0)
CI: يعمل .github/workflows/ci.yml عند الدفع؛ وreproduce.yml مضبوط على if: false حتى تجهيز مشغّل مستضاف ذاتيًا
فحص التعقيم: يفرض validator/sanitize_check.py تسع قواعد على كل مرشّح للتصدير العام قبل مغادرة أي مخرج لهذا المستودع

سجل القرارات

توثّق سجلات ADR الأربعة عشر في docs/decision-log/ كل قرار معماري:

ADR	الموضوع
0001	تقسيم المستودع: الحدّ بين الهندسة والإصدار العام
0002	التعامل مع ReproChain الخاص
0003	اختيار libwebp لهدف ReproChain
0004	اختيار محلّل PolyDiff (عائلة url الأولية + التوسّع إلى 6 عائلات)
0005	ترحيل المدقّق
0006	ملكية الإفصاح (مالك محدّد من PI؛ بوابة مراجعة المستشار القانوني)
0007–0012	معمارية المحرّك (هياكل HarnessGen وInvariantCheck وCrossSMA وDynamicProbe)
0013	المخطط v2 (توسعة إضافية لمخرجات المحرّك)
0014	صيغة سجل الإفصاح المنسّق (JSONL متسلسل بالتجزئات)
0020	توسعة PolyDiff متعددة العائلات
0021	انضباط تصدير المدقّق

الإصدارات والوسوم

v1.0.0-tier3-research (الحالي، مايو 2026) — مجموعة كاملة من 6 محرّكات، 1030 اختبارًا ناجحًا، المخطط v2، CETM بـ82 ادعاءً
v0.3.0-tier3-research (مايو 2026) — خط أساس v0.3 (محفوظ كمرساة تاريخية)

يقع إصدار الجدوى العام المطابق في 577Industries/asema-feasibility-artifacts:

v1.0.0-asema-dp2-feasibility (الحالي) — حزمة أشكال F15-F22، CETM بـ82 ادعاءً، baseline-tool-delta، مخطط polydiff v1.0، مصفوفة تتبّع كاملة
v0.3.0-asema-dp2-feasibility — مرساة تاريخية؛ محفوظة حرفيًا

الترخيص

Apache-2.0. انظر LICENSE.

مصدر الحقيقة

SPEC.md هو المواصفة التقنية العاملة. إذا تباعد التنفيذ عن المواصفة، فحدّث المواصفة عن قصد.

aegisgraph

الأكثر شعبية